- 06 Nov, 2020 1 commit
-
-
Valentin Platzgummer authored
-
- 12 Jun, 2016 1 commit
-
-
Daniel Agar authored
-general cleanup
-
- 12 Apr, 2016 1 commit
-
-
Beat Küng authored
-
- 12 Jan, 2016 1 commit
-
-
Daniel Agar authored
- fixes #2542
-
- 16 Oct, 2015 1 commit
-
-
Daniel Agar authored
-this is used in the ubuntu package
-
- 15 Oct, 2015 1 commit
-
-
Don Gagne authored
-
- 12 Apr, 2015 1 commit
-
-
Daniel Agar authored
-