revision number

2026-06-16 04:26:26 +02:00 · 2025-02-05 16:49:39 +01:00
parent c4caf0f97c
commit d599c7f73c
2 changed files with 2 additions and 1 deletions
@@ -420,7 +420,7 @@
  <!-- - - - - - - - - -->
  <target name="revision-check">
    <!-- figure out the revision number -->
-    <loadfile srcfile="../todo.txt" property="revision">
+    <loadfile srcfile="revision" property="revision">
      <filterchain>
        <headfilter lines="1"/>
        <tokenfilter>
@@ -0,0 +1 @@
+1295