# 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"