From 342cccc384148e93142ed9dca59ad23e58388564 Mon Sep 17 00:00:00 2001
From: Christian Grothoff <christian@grothoff.org>
Date: Sun, 19 Jan 2020 14:22:34 +0100
Subject: do not rely on filetime, as Git does not preserve it

---
 src/auditor/auditor-basedb.age | 1 +
 1 file changed, 1 insertion(+)
 create mode 100644 src/auditor/auditor-basedb.age

(limited to 'src/auditor/auditor-basedb.age')

diff --git a/src/auditor/auditor-basedb.age b/src/auditor/auditor-basedb.age
new file mode 100644
index 000000000..d81cc0710
--- /dev/null
+++ b/src/auditor/auditor-basedb.age
@@ -0,0 +1 @@
+42
-- 
cgit v1.2.3