Makefile is no longer generated.

bschmalhofer · Dec 2, 2009 · 6a4daae · 6a4daae
1 parent 952393c
commit 6a4daae
Showing 1 changed file with 0 additions and 1 deletion.
diff --git a/.gitignore b/.gitignore
@@ -1,2 +1 @@
-Makefile
 unl.pbc