]> matita.cs.unibo.it Git - helm.git/commit
projects / helm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4f98c8c) | patch
test/test.ml: added a call to reset_selection
authorLuca Padovani <luca.padovani@unito.it>
Thu, 30 Nov 2000 15:47:05 +0000 (15:47 +0000)
committerLuca Padovani <luca.padovani@unito.it>
Thu, 30 Nov 2000 15:47:05 +0000 (15:47 +0000)
commitec7900ebc4b63319255164860415dfb1a26eeb53
tree1632719171dfd6744968cff4c255cd6b858e64e3tree | snapshot
parent4f98c8cd1032a2a0f24b7c1a90eede8dfdbccbbecommit | diff
test/test.ml: added a call to reset_selection
helm/DEVEL/lablgtk_gtkmathview/lablgtk-20000829_gtkmathview-0.2.1/test/test.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.