undo changes to tool

bernt-matthias · bernt-matthias · commit 9882d5163f72 · 2024-09-02T15:13:47.000+02:00
diff --git a/tools/mummer4/.lint_skip b/tools/mummer4/.lint_skip
@@ -0,0 +1 @@
+BioToolsValid
diff --git a/tools/mummer4/macros.xml b/tools/mummer4/macros.xml
@@ -2,7 +2,7 @@
     <token name="@MUMMER_GNUPLOT_MANUAL@"><![CDATA[&& gnuplot < out.gp]]></token>
     <xml name="bio_tools">
         <xrefs>
-            <xref type="bio.tools">mumer4</xref>
+            <xref type="bio.tools">mummer4</xref>
         </xrefs>
     </xml>
     <xml name="citation">
