-
Zeger-Jan van de Weg authored
Also, move the old linting docs to the new location.
GitLab wird am Freitag, den 26. April ab 18:00 Uhr bis voraussichtlich Samstag, den 27. April bis 15:00 Uhr aufgrund größerer Wartungsarbeiten nicht verfügbar sein.
Also, move the old linting docs to the new location.