From d599c7f73c976cf916ee5e7978989caae76f362d Mon Sep 17 00:00:00 2001
From: Stef Tervelde <stef@steftervelde.nl>
Date: Wed, 5 Feb 2025 16:49:39 +0100
Subject: [PATCH] revision number

---
 build/build.xml | 2 +-
 build/revision  | 1 +
 2 files changed, 2 insertions(+), 1 deletion(-)
 create mode 100644 build/revision

diff --git a/build/build.xml b/build/build.xml
index 8ad556c11..f1247b511 100644
--- a/build/build.xml
+++ b/build/build.xml
@@ -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>
diff --git a/build/revision b/build/revision
new file mode 100644
index 000000000..1f5e025c5
--- /dev/null
+++ b/build/revision
@@ -0,0 +1 @@
+1295
\ No newline at end of file