Update all lisp headers to reduce size of formatting PR

This commit is contained in:
Tyler Wilding
2020-10-26 21:08:24 -04:00
parent dfe129373a
commit bb9fb3b2cd
1088 changed files with 1089 additions and 1089 deletions
+2 -2
View File
@@ -1103,7 +1103,7 @@ def make_file(root, path, name, name_in_dgo, dgos, version):
os.makedirs(os.path.join(root, path), exist_ok=True)
if version == 3:
filename = name + ".gc"
text = """;-*-Lisp-*-
text = """;;-*-Lisp-*-
(in-package goal)
;; name: {}
@@ -1113,7 +1113,7 @@ def make_file(root, path, name, name_in_dgo, dgos, version):
""".format(filename, name_in_dgo, dgo_names_string(dgos))
elif version == 4:
filename = name + ".gd"
text = """;-*-Lisp-*-
text = """;;-*-Lisp-*-
;; GOAL Data Description File
;; name: {}