From 59fd4dea179a79dcf39a8c8935668ab7ce400fe3 Mon Sep 17 00:00:00 2001 From: Stefano Zacchiroli Date: Wed, 12 Mar 2003 18:36:16 +0000 Subject: [PATCH] removed .cvswrappers --- helm/uwobo/.cvsignore | 11 +++++++---- helm/uwobo/.cvswrappers | 1 - 2 files changed, 7 insertions(+), 5 deletions(-) delete mode 100644 helm/uwobo/.cvswrappers diff --git a/helm/uwobo/.cvsignore b/helm/uwobo/.cvsignore index 61dcd18de..7a77a0ecd 100644 --- a/helm/uwobo/.cvsignore +++ b/helm/uwobo/.cvsignore @@ -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 index 0140b5545..000000000 --- a/helm/uwobo/.cvswrappers +++ /dev/null @@ -1 +0,0 @@ -*.jar -k 'b' -m 'COPY' -- 2.39.2