- 27 Jul, 2015 16 commits
-
-
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 20 commits
-
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Franco Fichtner authored
fixed issue also in dynamic view and corrected comment
-
Fabian Franz authored
-
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-
Ad Schellevis authored
-