]> matita.cs.unibo.it Git - helm.git/commit
Tooltip removed.
authorClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:38:17 +0000 (16:38 +0000)
committerClaudio Sacerdoti Coen <claudio.sacerdoticoen@unibo.it>
Wed, 20 Jul 2005 16:38:17 +0000 (16:38 +0000)
commitf1ead5ca7c899816e6b6ba37f13cc87eb4c4b2cf
tree7210e7c6175a506833d82cceaf83f4df8b66746f
parent1645157cbb1aceb40c0d9cf412df319175074796
Tooltip removed.
helm/matita/matita.glade