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