modified: .gitignore

diff --git a/.gitignore b/.gitignore
index bcd1a0121c45f4a0d7e28134decda4b407252e23..9ac6f4672c48ce0fc62307de54b4460929d5dca8 100644 (file)
--- a/.gitignore
+++ b/.gitignore
@@ -2,11 +2,11 @@
 # Ignore (generated) html files,
 *.html
 *.htm
+*.sh
+!proj16.bfproject
 *.obj
 *.OBJ
 *.*~
-*.sh
-!proj16.bfproject
 
 # except foo.html which is maintained by hand.
 #!foo.html