Update documentation/developers/documentation.md

Co-authored-by: Alvin Schiller <[email protected]>
MiczFlor · Mar 20, 2024 · cc73108 · cc73108
1 parent d5fd295
commit cc73108
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/documentation/developers/documentation.md b/documentation/developers/documentation.md
@@ -16,7 +16,7 @@ If markdown files are changed and the pre-commit hook is enabled, `run_markdownl
 
 After creating a PR or pushing to the repo a Github Action triggers the linter, if markdown files are changed (see `.github/workflows/markdown_v3.yml`).
 
-### Ignoring Rules
+### Disabling Rules
 
 > [!NOTE]
 > Please use disabling rules with caution and always try to fix the violation first.