]> matita.cs.unibo.it Git - helm.git/commit
ported to latest lablgtk2 snapshot (13/06/2005) in which Garrigue
authorStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 13:23:29 +0000 (13:23 +0000)
committerStefano Zacchiroli <zack@upsilon.cc>
Mon, 13 Jun 2005 13:23:29 +0000 (13:23 +0000)
commit1c1c74dc31e976a803a41431eaea1fac43aebfb3
treead07af31323a789d62196f00a04a9a5589218658
parent39334c64673a01221d517529f89377b8b5db45a3
ported to latest lablgtk2 snapshot (13/06/2005) in which Garrigue
applied my patch about *_skel
helm/DEVEL/lablgtksourceview/gtk_sourceview.ml