]> matita.cs.unibo.it Git - helm.git/history - helm/helmpot/debian/changelog
Debian packaging of helmpot-0.0.3
[helm.git] / helm / helmpot / debian / changelog
2001-10-05 Claudio Sacerdoti... Debian packaging of helmpot-0.0.3
2001-08-27 Claudio Sacerdoti... Upgrade to 0.0.2
2001-04-12 Luca PadovaniInitial revision