From: Claudio Sacerdoti Coen Date: Wed, 27 Feb 2002 14:10:46 +0000 (+0000) Subject: lablgnome.cm[x]a added to the META file. X-Git-Tag: V_0_3_0_debian_8~260 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=b7d1b72cfcc7135dca51cd83009cb9319f277af7;p=helm.git lablgnome.cm[x]a added to the META file. --- diff --git a/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk b/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk index 4c9350136..f70c5bec6 100644 --- a/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk +++ b/helm/DEVEL/lablgtkmathview/lablgtk/META.lablgtk @@ -1,6 +1,6 @@ requires="" version="1.2.0" -archive(byte)="lablgtk.cma gtkInit.cmo" -archive(native)="lablgtk.cmxa gtkInit.cmx" +archive(byte)="lablgtk.cma lablgnome.cma gtkInit.cmo" +archive(native)="lablgtk.cmxa lablgnome.cmxa gtkInit.cmx" linkopts="" directory="+lablgtk"