]> matita.cs.unibo.it Git - helm.git/blob - helm/helmpot/debian/changelog
Debian packaging of helmpot-0.0.3
[helm.git] / helm / helmpot / debian / changelog
1 helmpot (0.0.3-1) unstable; urgency=low
2
3   * Bug fix related to selection
4  -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Fri, 05 Oct 2001 19:40:06 +0200
5
6 helmpot (0.0.2-1) unstable; urgency=low
7
8   * Small bug fix related to maction
9
10  -- Claudio Sacerdoti Coen <sacerdot@cs.unibo.it>  Mon, 27 Aug 2001 19:00:00 +0200
11
12 helmpot (0.0.1-1) unstable; urgency=low
13
14   * Initial Release.
15
16  -- Luca Padovani <luca.padovani@cs.unibo.it>  Thu, 12 Apr 2001 17:18:05 +0200
17
18 Local variables:
19 mode: debian-changelog
20 End: