- 28 Jul, 2015 8 commits
-
-
Franco Fichtner authored
-
Franco Fichtner 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
-
- 27 Jul, 2015 24 commits
-
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
but changing the default likely breaks something else so fix it here...
-
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
-
Franco Fichtner authored
-
Ad Schellevis authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-
- 25 Jul, 2015 4 commits
-
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Fabian Franz authored
-
- 24 Jul, 2015 4 commits
-
-
-
Ad Schellevis authored
-
Franco Fichtner authored
-
Franco Fichtner authored
-