From: Claudio Sacerdoti Coen Date: Wed, 6 Feb 2002 14:52:29 +0000 (+0000) Subject: Until Garrigue puts a META file in lablgtk, we can use this one. X-Git-Tag: just_before_moving_to_gdome~1 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=10434de696a721d9ea1b4eddc4169d601ee671e5;hp=10434de696a721d9ea1b4eddc4169d601ee671e5;p=helm.git Until Garrigue puts a META file in lablgtk, we can use this one. ---