- Mar 22, 2024
-
-
- Mar 01, 2024
-
-
- Nov 27, 2023
-
-
Andre Klapper authored
-
- Oct 29, 2023
-
-
- Aug 18, 2023
-
-
- Jul 15, 2023
-
-
- Apr 16, 2023
-
-
- Dec 14, 2022
-
-
- Nov 23, 2022
-
-
- Sep 22, 2022
-
-
- Jun 13, 2022
-
-
- Apr 04, 2022
-
-
- Dec 05, 2021
-
-
-
(cherry picked from commit 33f0cae3)
-
- Mar 08, 2021
-
-
- Jan 23, 2021
-
-
Pietro Battiston authored
-
- Jan 10, 2021
-
-
Jordi Mas authored
-
- Oct 19, 2020
-
-
- Jun 30, 2020
-
-
- May 28, 2020
-
-
- May 22, 2020
-
-
Pietro Battiston authored
-
- May 02, 2020
-
-
Pietro Battiston authored
-
Pietro Battiston authored
-
Pietro Battiston authored
-
Pietro Battiston authored
Fixed style not set (was breaking compilation of Latex -> pdf) See merge request !2
-
Pietro Battiston authored
-
Pietro Battiston authored
-
Pietro Battiston authored
-
- Apr 18, 2020
-
-
Piotr Drąg authored
-
- Apr 17, 2020
-
-
Jose Aliste authored
-
Jose Aliste authored
-
- Apr 16, 2020
-
-
Pietro Battiston authored
-
Pietro Battiston authored
-
Pietro Battiston authored
-
- Apr 15, 2020
-
-
Pietro Battiston authored
Resolve "Uses deprecated Gedit.Document.get_location()" Closes #3 See merge request !3
-
- Apr 12, 2020
-
-
Pietro Battiston authored
Closes #3
-
- Mar 27, 2020
-
-
- Mar 07, 2020
-
-
- Feb 24, 2020
-
-
Ask Hjorth Larsen authored
-