undo changes to tool

pavanvidem · Sep 2, 2024 · 9882d51 · 9882d51
1 parent 12ca5da
commit 9882d51
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 1 deletion.
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">