- 14 Apr, 2022 9 commits
-
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
(It was never un-broken with BS4, so that's fine!)
-
Felix Freiberger authored
-
- 13 Apr, 2022 3 commits
-
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
- 08 Apr, 2022 1 commit
-
-
Felix Freiberger authored
-
- 06 Apr, 2022 2 commits
-
-
Felix Freiberger authored
-
Felix Freiberger authored
-
- 05 Apr, 2022 3 commits
-
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
- 04 Apr, 2022 5 commits
-
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
Model checking See merge request !42
-
Felix Freiberger authored
-
- 01 Apr, 2022 2 commits
-
-
Felix Freiberger authored
Allow for multiple lines in the TextEditor to be highlighted See merge request !43
-
Dominic authored
-
- 31 Mar, 2022 1 commit
-
-
Lena Becker authored
-
- 29 Mar, 2022 3 commits
-
-
Felix Freiberger authored
-
Lena Becker authored
-
Dominic authored
-
- 16 Mar, 2022 1 commit
-
-
Dominic authored
-
- 07 Mar, 2022 10 commits
-
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Dominic authored
-
Felix Freiberger authored
-
Dominic authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
Felix Freiberger authored
-
