comparison convert_characters.xml @ 2:c58a4238167e default tip

version 2
author greg
date Fri, 05 Aug 2011 16:33:29 -0400
parents 21b1788b85a4
children
comparison
equal deleted inserted replaced
1:e28fb7f1f45d 2:c58a4238167e
1 <tool id="Convert characters1" name="Convert" version="1.0.0"> 1 <tool id="Convert characters1" name="Convert" version="1.1.0">
2 <description>delimiters to TAB</description> 2 <description>delimiters to TAB</description>
3 <command interpreter="python">convert_characters.py $input $convert_from $out_file1</command> 3 <command interpreter="python">convert_characters.py $input $convert_from $out_file1</command>
4 <inputs> 4 <inputs>
5 <param name="convert_from" type="select" label="Convert all"> 5 <param name="convert_from" type="select" label="Convert all">
6 <option value="s">Whitespaces</option> 6 <option value="s">Whitespaces</option>