Update ERGA EAR tool

bgruening · Oct 15, 2024 · b495d78 · b495d78
1 parent 71b3dac
commit b495d78
Show file tree

Hide file tree

Showing 2 changed files with 128 additions and 106 deletions.
diff --git a/tools/ear/macros.xml b/tools/ear/macros.xml
@@ -1,5 +1,5 @@
 <macros>
-    <token name="@TOOL_VERSION@">24.08.26</token>
+    <token name="@TOOL_VERSION@">24.10.15</token>
     <token name="@VERSION_SUFFIX@">0</token>
     <token name="@PROFILE@">23.2</token>
     <xml name="creator">