diff --git a/src/core/gitinfo.h b/src/core/gitinfo.h
new file mode 100644
index 00000000..6f330552
--- /dev/null
+++ b/src/core/gitinfo.h
@@ -0,0 +1,11 @@
+// 4cce0a37b134283ed38ee4814bb282773f9c2ed1
+//
+// This file was automatically generated by the
+// updaterevision tool. Do not edit by hand.
+
+#define GIT_DESCRIPTION "1.4.1-29-g4cce0a37"
+#define GIT_HASH "4cce0a37b134283ed38ee4814bb282773f9c2ed1"
+#define GIT_TIME "2023-08-09 13:55:37 +0200"
+#define HG_REVISION_NUMBER 1691582137
+#define HG_REVISION_HASH_STRING "4cce0a37b134"
+#define HG_TIME "230809-1155"