diff tool_conf.xml @ 2:ead9eab0bc4c draft default tip

Uploaded
author takadonet
date Thu, 16 Jan 2014 14:32:05 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/tool_conf.xml	Thu Jan 16 14:32:05 2014 -0500
@@ -0,0 +1,8 @@
+<?xml version="1.0"?>
+<toolbox>
+  <section name="Smalt Tools" id="smalt">
+    <label text="Smalt Tools" id="smalt_tools" />
+    <tool file="smalt/tools/smalt/smalt_check.xml" />
+    <tool file="smalt/tools/smalt/smalt_index.xml" />
+  </section>
+</toolbox>