]> 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: b520a2b)
*** empty log message ***
authorLuca Padovani <luca.padovani@unito.it>
Mon, 29 Jan 2001 12:28:06 +0000 (12:28 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 29 Jan 2001 12:28:06 +0000 (12:28 +0000)
helm/DEVEL/lablgtkmathview/.cvsignore patch | blob | history

diff --git a/helm/DEVEL/lablgtkmathview/.cvsignore b/helm/DEVEL/lablgtkmathview/.cvsignore
index 930b7a63e83755275e4c65df69735e9f777ea6da..801e3763489fbb3576de9791f647a4503e14fed8 100644 (file)
--- a/helm/DEVEL/lablgtkmathview/.cvsignore
+++ b/helm/DEVEL/lablgtkmathview/.cvsignore
@@ -1 +1,3 @@
 *.cmi *.cmo *.cmx *.cma *.cmxa config.make config.cache config.log configure
+Makefile
+config.status
Unnamed repository; edit this file 'description' to name the repository.