modified: .gitignore

diff --git a/.gitignore b/.gitignore
index c06e067880b5f920fc93adf0cd9f5bd5302f060a..9ac6f4672c48ce0fc62307de54b4460929d5dca8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -7,7 +7,6 @@
 *.obj
 *.OBJ
 *.*~
-boop.sh
 
 # except foo.html which is maintained by hand.
 #!foo.html