]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/uwobo/.cvsignore
GPL licence added
[helm.git] / helm / uwobo / .cvsignore
index 2fd79ea4532996c0973e50516f3cad4a753c9e35..61dcd18de4dff48afa5e29cccf3993293f95e511 100644 (file)
@@ -1,5 +1,4 @@
 build
-docs
 resources
 backup
 dist