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;p=helm.git Until Garrigue puts a META file in lablgtk, we can use this one. --- diff --git a/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk b/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk new file mode 100644 index 000000000..4c9350136 --- /dev/null +++ b/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk @@ -0,0 +1,6 @@ +requires="" +version="1.2.0" +archive(byte)="lablgtk.cma gtkInit.cmo" +archive(native)="lablgtk.cmxa gtkInit.cmx" +linkopts="" +directory="+lablgtk"