re-add profile

bgruening · Dec 4, 2024 · 174ef20 · 174ef20
1 parent 9ce769e
commit 174ef20
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/tools/diff/diff.xml b/tools/diff/diff.xml
@@ -1,4 +1,4 @@
-<tool id="diff" name="diff" version="@TOOL_VERSION@+galaxy@GALAXY_VERSION@">
+<tool id="diff" name="diff" version="@TOOL_VERSION@+galaxy@GALAXY_VERSION@" profile="23.0">
     <description>analyzes two files and generates an unidiff text file with information about the differences and an optional Html report</description>
     <macros>
         <token name="@TOOL_VERSION@">3.10</token>