]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/graphs/tools/drawGraph.conf.xml.sample
This commit was manufactured by cvs2svn to create branch 'moogle'.
[helm.git] / helm / graphs / tools / drawGraph.conf.xml.sample
diff --git a/helm/graphs/tools/drawGraph.conf.xml.sample b/helm/graphs/tools/drawGraph.conf.xml.sample
deleted file mode 100644 (file)
index a26b4b9..0000000
+++ /dev/null
@@ -1,7 +0,0 @@
-<?xml version="1.0" encoding="utf-8"?>
-<helm_registry>
-  <section name="draw_graph">
-    <key name="port">58083</key>
-    <key name="dir">/projects/helm/daemons/graphs/tools</key>
-  </section>
-</helm_registry>