]> matita.cs.unibo.it Git - helm.git/commit
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)
commitfc048a338ecaac55f12a2a27ef32f9e4c2ab5db6
treed8ece6c4459a8458673e85cc1c66090c8e6f933c
parent400e74f81d628d66e57aa4f83fd8cc299abc0506
removed no longer needed libs link
helm/libs [deleted symlink]