# HG changeset patch
# User george-weingart
# Date 1470893891 14400
# Node ID 8622858cc55fdd801c5233e2ff258bfb11d6e2ed
# Parent  1923f2a7e737281a0e6b81f2f2c13730c6f4dfa2
Uploaded

diff -r 1923f2a7e737 -r 8622858cc55f micropita.xml
--- a/micropita.xml	Thu Aug 11 01:37:35 2016 -0400
+++ b/micropita.xml	Thu Aug 11 01:38:11 2016 -0400
@@ -1,4 +1,4 @@
-<tool id="micropita" name="Run" version="1.0.2">
+<tool id="micropita" name="Run" version="1.0.1">
 <code file="micropita_format_input_selector.py"/> 
 <description>micropita</description>
 <command interpreter="python">micropita_prepare.py