remove gitignores (makes realclean easier) for the moment

plobsing · Dec 15, 2010 · 7ecfade · 7ecfade
1 parent 99d53ae
commit 7ecfade
Showing 1 changed file with 0 additions and 11 deletions.
diff --git a/.gitignore b/.gitignore
@@ -1,11 +0,0 @@
-src/bootstrap/ometa-js.js
-src/bootstrap/stage0.js
-src/bootstrap/stage1.winxed
-src/bootstrap/winxed-compiler.js
-src/bootstrap/winxed-compiler.winxed
-src/bootstrap/ometa-compiler.js
-src/bootstrap/ometa-compiler.winxed
-src/bootstrap/ometa-winxed-compiler.js
-src/bootstrap/ometa-winxed-compiler.winxed
-src/bootstrap/ometa-optimizer.js
-src/bootstrap/ometa-optimizer.winxed