- 21 May, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 07 May, 2015 1 commit
-
-
Ansgar Burchardt authored
-
- 05 May, 2015 4 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
This reverts commit d9a9de9b.
-
- 20 Apr, 2015 6 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 17 Jun, 2014 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 10 Jun, 2014 1 commit
-
-
Ansgar Burchardt authored
-
- 16 May, 2014 1 commit
-
-
Ansgar Burchardt authored
-
- 15 May, 2014 1 commit
-
-
Ansgar Burchardt authored
-
- 10 Apr, 2014 1 commit
-
-
Ansgar Burchardt authored
-
- 07 Apr, 2014 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
safe-rm works like rm, but refuses to follow symlinks.
-
- 14 Feb, 2014 5 commits
-
-
Ansgar Burchardt authored
Conflicts: debian/control
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
- 24 Jan, 2014 1 commit
-
-
Ansgar Burchardt authored
Both dunecontrol and duneproject need pkg-config.
-
- 22 Jan, 2014 1 commit
-
-
Ansgar Burchardt authored
-
- 20 Jan, 2014 7 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Oliver Sander authored
This flag was only needed for an API transition. In the 2.3 release this transition has been completed, and the flag is no longer needed.
-
Ansgar Burchardt authored
-
- 15 Jan, 2014 3 commits
-
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
-
Ansgar Burchardt authored
The name git-whitespace-hook is a bit too generic for a DUNE-specific tool.
-
- 14 Jan, 2014 1 commit
-
-
Ansgar Burchardt authored
-