From: Claudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Date: Wed, 7 Nov 2001 18:43:38 +0000 (+0000)
Subject: GPL licence added
X-Git-Tag: v0_1_3~12
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=9c0989b23581b3b682f8c404a7ca53aba6fddc4d;p=helm.git

GPL licence added
---

diff --git a/helm/uwobo/.cvsignore b/helm/uwobo/.cvsignore
index 2fd79ea45..61dcd18de 100644
--- a/helm/uwobo/.cvsignore
+++ b/helm/uwobo/.cvsignore
@@ -1,5 +1,4 @@
 build
-docs
 resources
 backup
 dist