]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 47ed689) | patch
another small bug fixed about the pot
authorLuca Padovani <luca.padovani@unito.it>
Mon, 12 Nov 2001 15:44:43 +0000 (15:44 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Mon, 12 Nov 2001 15:44:43 +0000 (15:44 +0000)
commitc9d2cb6413992eae7f06dbb02345a70fe98a193e
treeb183fedf9abb55fb1e5ad5fb2beec7bf13fc95c2tree | snapshot
parent47ed689d3cb6aace3fffd51f3d6b9c5d247508dacommit | diff
another small bug fixed about the pot
helm/helmpot/guiGTK.c diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.