make .gitignore more general

This commit is contained in:
Alexander Mahr 2024-12-28 15:06:39 +01:00
parent c08952ea0a
commit 3a12ef1821

View file

@ -1,4 +1,2 @@
/file1 # ignore all generated file by the makefile (we prefix them with file...)
/file2 /file*
/file3
/file4