]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/helmpot/debian/changelog
Debian packaging of helmpot-0.0.3
[helm.git] / helm / helmpot / debian / changelog
index c1b1c88c43d6813779f1b275eaa4b11219802037..f83d488ee16f1eaf4f206f53888448fb03c7ebf2 100644 (file)
@@ -1,3 +1,8 @@
+helmpot (0.0.3-1) unstable; urgency=low
+
+  * Bug fix related to selection
+ -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Fri, 05 Oct 2001 19:40:06 +0200
+
 helmpot (0.0.2-1) unstable; urgency=low
 
   * Small bug fix related to maction