]> matita.cs.unibo.it Git - helm.git/commitdiff
removed no longer needed libs link
authorStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 16:15:32 +0000 (16:15 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Fri, 3 Feb 2006 16:15:32 +0000 (16:15 +0000)
helm/libs [deleted symlink]

diff --git a/helm/libs b/helm/libs
deleted file mode 120000 (symlink)
index 5074bc2..0000000
--- a/helm/libs
+++ /dev/null
@@ -1 +0,0 @@
-ocaml/
\ No newline at end of file