]> matita.cs.unibo.it Git - helm.git/commit
...
authorEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 11:15:04 +0000 (11:15 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Fri, 16 Nov 2007 11:15:04 +0000 (11:15 +0000)
commit21b202653d14ba7d8139f44c495fde94f8cb345c
treef4a9ac287a78a767e1d0b2d804df3e5a06c0a3ac
parent69a723299ea4c9ba4087a87e60c6fbeef4c1d33d
...
helm/software/pkg-matita/trunk/debian/changelog