matita.cs.unibo.it Git - helm.git/commit

]> matita.cs.unibo.it Git - helm.git/commit

projects / helm.git / commit

summary | shortlog | log | commit | commitdiff | tree
(parent: 81458bf) | patch

author	Luca Padovani <luca.padovani@unito.it>
	Thu, 25 Jan 2001 11:12:56 +0000 (11:12 +0000)
committer	Luca Padovani <luca.padovani@unito.it>
	Thu, 25 Jan 2001 11:12:56 +0000 (11:12 +0000)
commit	4a97b3700b140024e1783ac12501ad5dfa4be9b5
tree	2c26ca60e1a5d916f98d023f39db5a5626c927a9	tree \| snapshot
parent	81458bf25c713db183ea1449b6fe021760fdc611	commit \| diff

updated the binding so that it works well with lablgtk-1.00,
configuration script improved

Unnamed repository; edit this file 'description' to name the repository.