- 20 Sep, 2018 1 commit
-
-
Daniel Wortmann authored
-
- 14 Sep, 2018 1 commit
-
-
Daniel Wortmann authored
-
- 25 Apr, 2017 2 commits
-
-
Gregor Michalicek authored
-
Gregor Michalicek authored
-
- 17 Mar, 2017 1 commit
-
-
Gregor Michalicek authored
...this is very incomplete at the moment.
-
- 16 Mar, 2017 1 commit
-
-
Gregor Michalicek authored
...I need the "info" for the info mode.
-
- 31 Aug, 2016 1 commit
-
-
Daniel Wortmann authored
-
- 26 Apr, 2016 1 commit
-
-
Markus Betzinger authored
Based on v0.26 hybrid branch
-