]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4df2f7d) | 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)
commit24fd86ebb1da93bc4ef42c344b0f0dcac3a14d3c
tree8d25c6048e1a16fa648dc72e16dc11265c999c20tree | snapshot
parent4df2f7d7466c5b6c12b6d078fea54d783ca4c4a8commit | diff
from the tarball removed all contribs, they used to weight more than 1MB
and were not compiled nor installed
Makefile diff | blob | history
configure.ac diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.