special fix of the notation

2017-12-11 11:44:04 +01:00
parent a8cc037a09
commit d76de8e9ab
83 changed files with 84 additions and 84 deletions
--- a/games/maintenance.py
+++ b/games/maintenance.py
@ -293,7 +293,7 @@ if __name__ == "__main__":
    # check_validity_external_links()

    # special, only run when needed
-    # fix_notation()
+    fix_notation()

    # regular replacements
-    regular_replacements()
+    # regular_replacements()