]> matita.cs.unibo.it Git - helm.git/commitdiff
projects / helm.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | patch | inline | side by side (parent: c6d966b)
ignore Makefile since now it's generated by configure
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:12:35 +0000 (12:12 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 19 Apr 2004 12:12:35 +0000 (12:12 +0000)
helm/gTopLevel/.cvsignore patch | blob | history

diff --git a/helm/gTopLevel/.cvsignore b/helm/gTopLevel/.cvsignore
index 23def074f07c97cb287ded6a8c6079429b6a90bc..6e1f5ff43f244635a3fb2dc321f18b6eaa146ee5 100644 (file)
--- a/helm/gTopLevel/.cvsignore
+++ b/helm/gTopLevel/.cvsignore
@@ -11,3 +11,4 @@ autom4te.cache
 config.log
 config.status
 configure
+Makefile
Unnamed repository; edit this file 'description' to name the repository.