Merge pull request #95 from gap-packages/mh/leon_config.h

Remove generated files from repository
gap-packages · Mar 21, 2024 · f27ec18 · f27ec18
2 parents 0406e60 + 77fed3d
commit f27ec18
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 109 deletions.
diff --git a/.gitignore b/.gitignore
@@ -41,6 +41,8 @@ Makefile
 /src/leon/autom4te.cache/
 /src/leon/configure
 /src/leon/install-sh
+/src/leon/src/leon_config.h
+/src/leon/src/leon_config.h.in
 
 /src/leon/cent
 /src/leon/cjrndper

diff --git a/src/leon/src/leon_config.h b/src/leon/src/leon_config.h
diff --git a/src/leon/src/leon_config.h.in b/src/leon/src/leon_config.h.in