changeset 1:12ac67b5c81d draft default tip

Deleted selected files
author bjoern-gruening
date Sat, 26 Apr 2014 12:56:03 -0400
parents e850a63e5aed
children
files tool_conf.xml
diffstat 1 files changed, 0 insertions(+), 4 deletions(-) [+]
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>