]> matita.cs.unibo.it Git - helm.git/commit
changelog to -rc-1
authorEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Nov 2007 09:34:25 +0000 (09:34 +0000)
committerEnrico Tassi <enrico.tassi@inria.fr>
Thu, 15 Nov 2007 09:34:25 +0000 (09:34 +0000)
commit478c02dbc259d5dc293ce323dfc4008c02db9e2d
tree5c95866714fcdca6b2f3fc9b6e22a923d8f91db2
parent7a9160c543648ac86c420430a6f2c207304de753
changelog to -rc-1
helm/software/pkg-matita/trunk/debian/changelog