]> matita.cs.unibo.it Git - helm.git/commit
bug fix (helm selection) and new version (sigh)
authorLuca Padovani <luca.padovani@unito.it>
Wed, 29 Aug 2001 20:30:54 +0000 (20:30 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Wed, 29 Aug 2001 20:30:54 +0000 (20:30 +0000)
commit3256396b89a4fe610b04b921c85149859e1d6626
tree319b11a2d761d86e79897ede7dde6997765ff85e
parent4feececb8dc9a6893446576d79820d28f73d5338
bug fix (helm selection) and new version (sigh)
helm/helmpot/configure.in
helm/helmpot/guiGTK.c