From 41e0dfb85e8d69cdf063ce363ce69d6f0c7ec5fc Mon Sep 17 00:00:00 2001
From: Lars Wirzenius <liw@liw.fi>
Date: Sat, 4 May 2019 14:07:29 +0300
Subject: Add: script to get modification date for a file from git

---
 docid | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100755 docid

diff --git a/docid b/docid
new file mode 100755
index 0000000..ce3612a
--- /dev/null
+++ b/docid
@@ -0,0 +1,6 @@
+#!/bin/sh
+
+set -eu
+
+git show "$1" | sed -n '/^Date: */s///p'
+
-- 
cgit v1.2.1