From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Fri, 25 Mar 2005 23:45:33 +0000 (+0000)
Subject: remove x_gdome_caml.c generated source on "clean"
X-Git-Tag: V_0_0_6_7~2
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=e1cb0f658f9b16009fe536fd315b621df1157a65;hp=e1cb0f658f9b16009fe536fd315b621df1157a65;p=helm.git

remove x_gdome_caml.c generated source on "clean"
---