diff tool_conf.xml @ 1:12ac67b5c81d draft default tip

Deleted selected files
author bjoern-gruening
date Sat, 26 Apr 2014 12:56:03 -0400
parents e850a63e5aed
children
line wrap: on
line diff
--- a/tool_conf.xml	Thu Mar 15 04:53:54 2012 -0400
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,4 +0,0 @@
-<?xml version="1.0"?>
-<toolbox>
-    <tool file="text_manipulation/sed.xml" />
-</toolbox>