Fix pre-commit indentation

2022-04-23 11:12:43 +02:00
parent 89f16ad3a5
commit 1120392f39
8 changed files with 27 additions and 15 deletions
--- a/docs/javascripts/config.js
+++ b/docs/javascripts/config.js
@@ -9,4 +9,4 @@ window.MathJax = {
    ignoreHtmlClass: ".*|",
    processHtmlClass: "arithmatex"
  }
-};
+};