- 28 Jul, 2015 6 commits
-
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
- 27 Jul, 2015 29 commits
-
-
Franco Fichtner authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
Submitted by: Curt Dox
-
Franco Fichtner authored
Submitted by: Curt Dox
-
Franco Fichtner authored
Submitted by: Curt Dox
-
Franco Fichtner authored
but changing the default likely breaks something else so fix it here...
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
We do not embed file names into the header, because files get deleted and renamed every now and then. git-log is a good way to read the full history.
-
Franco Fichtner authored
-
Ad Schellevis authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
- 26 Jul, 2015 2 commits
-
-
Franco Fichtner authored
-
Franco Fichtner authored
-
- 25 Jul, 2015 2 commits
-
-
Ad Schellevis authored
-
Ad Schellevis authored
-
- 24 Jul, 2015 1 commit
-
-
Ad Schellevis authored
-