# HG changeset patch # User peterjc # Date 1495043639 14400 # Node ID b34d427b8220716948869bc86e3070e10f4ba5c6 # Parent 9bc38388d155029a2a227fa2d8a44a5ef06eb099 planemo upload for repository https://github.com/peterjc/pico_galaxy/tree/master/tools/coverage_stats commit 9ba9eed9534b49378a4f5c53650f30810d3dcd9c-dirty diff -r 9bc38388d155 -r b34d427b8220 tools/coverage_stats/coverage_stats.xml --- a/tools/coverage_stats/coverage_stats.xml Thu May 11 10:40:04 2017 -0400 +++ b/tools/coverage_stats/coverage_stats.xml Wed May 17 13:53:59 2017 -0400 @@ -19,7 +19,7 @@ - + @@ -29,7 +29,7 @@ - +