]> matita.cs.unibo.it Git - helm.git/commit
better description
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Jun 2007 14:45:04 +0000 (14:45 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 21 Jun 2007 14:45:04 +0000 (14:45 +0000)
commit4f0d6b053fd6edfed041f5e2fe4ab1e6e9df102a
tree85409dd6c35557559f7b2e42b6f4fdb3ff97f34f
parent5e276c6a6b30e095d25847e3289fcc34f2110f55
better description
helm/software/pkg-matita/trunk/debian/control