- 09 Jan, 2020 1 commit
-
-
Noah Hilverling authored
-
- 05 Nov, 2019 1 commit
-
-
Markus Frosch authored
-
- 19 Jul, 2018 1 commit
-
-
Jean Flach authored
-
- 02 Aug, 2017 4 commits
-
-
Markus Frosch authored
-
Markus Frosch authored
-
Markus Frosch authored
-
Markus Frosch authored
And do not manage git when set!
-
- 07 Jun, 2017 4 commits
-
-
Markus Frosch authored
-
Markus Frosch authored
-
Markus Frosch authored
-
Markus Frosch authored
And do not manage git when set!
-
- 06 Jun, 2017 1 commit
-
-
Markus Frosch authored
The old toolset built versions like: 2.4.0+snapshot2017.05.23+1~jessie We need to adapt our version at least until a new minor gets merged.
-
- 08 Feb, 2017 4 commits
-
-
Markus Frosch authored
-
Markus Frosch authored
-
Markus Frosch authored
-
Markus Frosch authored
-