]> matita.cs.unibo.it Git - helm.git/commit
tagging first upload to debian 0.4.96
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 10:04:36 +0000 (10:04 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 10:04:36 +0000 (10:04 +0000)
commitc7e73c0f3c420dc3bb46e5d0d245c6b3027569ad
tree44ee08b88c345a79e7b266146924c26a3572bdc5
parentf2e7cb9757a151382ed3a70d1a610e8f729a6597
tagging first upload to debian