]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bf2361d) | patch
from the tarball removed all contribs, they used to weight more than 1MB
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 18:47:49 +0000 (18:47 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 18:47:49 +0000 (18:47 +0000)
commit61335e51e822f447054d7dfd2ad71dcbe8e61c06
treef1ac5bfcf56becee25634f1cba56c02235aa2873tree | snapshot
parentbf2361df158d2320a3cef1bc1ad774737eb070afcommit | diff
from the tarball removed all contribs, they used to weight more than 1MB
and were not compiled nor installed
helm/software/Makefile diff | blob | history
helm/software/configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.