]> matita.cs.unibo.it Git - helm.git/commitdiff
removed .cvswrappers
authorStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:36:16 +0000 (18:36 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Wed, 12 Mar 2003 18:36:16 +0000 (18:36 +0000)
helm/uwobo/.cvsignore
helm/uwobo/.cvswrappers [deleted file]

index 61dcd18de4dff48afa5e29cccf3993293f95e511..7a77a0ecd868fcb0ca71707bb97412e8c824cdac 100644 (file)
@@ -1,4 +1,7 @@
-build
-resources
-backup
-dist
+*.cmi
+*.cmo
+*.cmx
+*.cma
+*.cmxa
+uwobo
+uwobo.opt
diff --git a/helm/uwobo/.cvswrappers b/helm/uwobo/.cvswrappers
deleted file mode 100644 (file)
index 0140b55..0000000
+++ /dev/null
@@ -1 +0,0 @@
-*.jar  -k 'b' -m 'COPY'