From 6a4daae2329d812724291001704b43986fc50e04 Mon Sep 17 00:00:00 2001 From: Bernhard Schmalhofer Date: Wed, 2 Dec 2009 09:06:27 +0100 Subject: [PATCH] Makefile is no longer generated. --- .gitignore | 1 - 1 file changed, 1 deletion(-) diff --git a/.gitignore b/.gitignore index 7b388e5..ddf06bd 100644 --- a/.gitignore +++ b/.gitignore @@ -1,2 +1 @@ -Makefile unl.pbc