summaryrefslogtreecommitdiff
path: root/docid
AgeCommit message (Expand)AuthorFilesLines
2019-05-04Fix: get date from git into documentLars Wirzenius1-1/+1
2019-05-04Add: script to get modification date for a file from gitLars Wirzenius1-0/+6