All: remove obsolete gitignore files

These have not been in use for almost a year
2024-03-18 15:28:46 +02:00 · 2024-03-18 15:28:46 +02:00 · e447d5fccf
parent 090c3c9930
commit e447d5fccf
2 changed files with 0 additions and 6 deletions
--- a/BAN/.gitignore
+++ b/BAN/.gitignore
@ -1,3 +0,0 @@
 *.a
 *.d
 *.o
--- a/libc/.gitignore
+++ b/libc/.gitignore
@ -1,3 +0,0 @@
 *.a
 *.d
 *.o