From 814320124e67ff42cac90084bc873b5c594754b5 Mon Sep 17 00:00:00 2001 From: Lorenz Lehmann <lorenz.lehmann@students.muho-mannheim.de> Date: Mon, 12 Feb 2024 07:36:52 +0100 Subject: [PATCH] fix (sources): rule lists have the correct length --- .gitignore | 5 ++--- 1 files changed, 2 insertions(+), 3 deletions(-) diff --git a/.gitignore b/.gitignore index ee5fadd..8727e6f 100755 --- a/.gitignore +++ b/.gitignore @@ -1,11 +1,10 @@ +# MacOS Finder files .DS_Store # LispWorks files *.*fasl *.*~ -*.lisp~ -*.lisp# -*.*~ +*.*# # OM Reference files /reference-pages/ -- Gitblit v1.9.1