This commit was manufactured by cvs2svn to create branch 'moogle'.

[helm.git] / helm / matita / matita.gladep

diff --git a/helm/matita/matita.gladep b/helm/matita/matita.gladep
deleted file mode 100644 (file)
index cc3340f..0000000
--- a/helm/matita/matita.gladep
+++ /dev/null
@@ -1,8 +0,0 @@
-<?xml version="1.0" standalone="no"?> <!--*- mode: xml -*-->
-<!DOCTYPE glade-project SYSTEM "http://glade.gnome.org/glade-project-2.0.dtd">
-
-<glade-project>
-  <name>Matita</name>
-  <program_name>matita</program_name>
-  <gnome_support>FALSE</gnome_support>
-</glade-project>