- Jul 04, 2018
-
-
akwizgran authored
-
- Jul 03, 2018
-
-
Julian Dehm authored
-
- Jul 02, 2018
- Jun 26, 2018
-
-
Torsten Grote authored
-
Nico authored
Fixes #888.
-
- Jun 22, 2018
-
-
Torsten Grote authored
-
Torsten Grote authored
-
Torsten Grote authored
-
akwizgran authored
-
akwizgran authored
-
- Jun 21, 2018
-
-
Torsten Grote authored
-
akwizgran authored
-
- Jun 20, 2018
-
-
Julian Dehm authored
-
Julian Dehm authored
-
Julian Dehm authored
-
Julian Dehm authored
-
Julian Dehm authored
-
- Jun 19, 2018
-
-
Torsten Grote authored
-
Torsten Grote authored
-
Torsten Grote authored
-
Torsten Grote authored
-
Torsten Grote authored
-
Torsten Grote authored
This is just a first rough implementation. A real UI designer should look over this.
-
- Jun 17, 2018
-
-
Julian Dehm authored
-
- Jun 15, 2018
- Jun 14, 2018
-
-
Torsten Grote authored
Closes #1096
-
Torsten Grote authored
Closes #1288
-
- Jun 13, 2018
-
-
akwizgran authored
-
akwizgran authored
-
akwizgran authored
-
Julian Dehm authored
-
Julian Dehm authored
-
Julian Dehm authored
-