- Feb 22, 2022
-
-
Matthias Schiffer authored
-
- Dec 24, 2021
-
-
Matthias Schiffer authored
-
Matthias Schiffer authored
2 spaces is the most common indentation width used in the docs; adjust the rest for consistency. Also change .editorconfig accordingly.
-
- Jul 04, 2020
-
-
Matthias Schiffer authored
-
- Feb 10, 2020
-
-
Martin Weinelt authored
This reverts commit 4e070312. The recommendation is not sufficient at this time, so revert it. See #1898 for further discussion.
-
- Dec 12, 2019
-
-
Tata authored
-
- Nov 07, 2019
-
-
Matthias Schiffer authored
-
- Apr 28, 2019
-
-
Martin Weinelt authored
-
- Apr 02, 2019
-
-
bobcanthelpyou authored
-
- Mar 10, 2019
-
-
bobcanthelpyou authored
-
- Feb 11, 2019
-
-
Martin Weinelt authored
This reverts commit b92e4044. Committing in this case is unnecessary as that job is already handled by 998-commit which is in a superior position to commit, as it is run after all relevant changes to the configuration have been made.
-
Julian Labus authored
-
- Nov 14, 2018
-
-
rubo77 authored
-
- Nov 13, 2018
-
-
Ruben Barkow authored
-
- Jun 13, 2018
-
-
lemoer authored
-