chiark / gitweb /
remove name from index if the node name has changed
[elogind.git] / .gitignore
index 358bc4d..7f1fbb6 100644 (file)
@@ -1,6 +1,5 @@
 *~
 *.o
 *~
 *.o
-*.[78]
 *.a
 *.lo
 *.la
 *.a
 *.lo
 *.la