# HG changeset patch
# User tiagoantao
# Date 1448225185 18000
# Node ID 730aff7a4ae51d04c7f718bc52ec3ddc441da5c4
# Parent 6e672cd847df7c7565552b72d0e5237acdf917bd
planemo upload commit 7a61e716e89a49e8cd50e6653e986a0683f20b91-dirty
diff -r 6e672cd847df -r 730aff7a4ae5 raxml.xml
--- a/raxml.xml Sun Nov 22 15:30:45 2015 -0500
+++ b/raxml.xml Sun Nov 22 15:46:25 2015 -0500
@@ -457,6 +457,7 @@
(selExtraOpts['extraOptions'] == "full")
+
selExtraOpts['extraOptions'] == "full"