Remove unused files and directories

This commit is contained in:
SebasKoedam
2024-04-18 15:10:23 +02:00
parent 50033a2180
commit 3e19616c50
39 changed files with 3 additions and 3 deletions

View File

@@ -17,7 +17,7 @@ pages:
rules:
- if: $CI_COMMIT_BRANCH == $CI_DEFAULT_BRANCH
changes:
- "documentation/**/*"
- "docs/**/*"
- "mkdocs.yml"
- ".gitmodules"