summaryrefslogtreecommitdiff
path: root/tools/formatRefs.py
AgeCommit message (Expand)AuthorFilesLines
2017-03-05Add more scanned documentsLars-Dominik Braun1-2/+3
2017-01-28Restructure gitLars-Dominik Braun1-1/+1
2016-10-16formatRefs: Fall back to creation dateLars-Dominik Braun1-0/+3
2016-10-10formatRefs: Warn about unused nodesLars-Dominik Braun1-0/+20
2016-10-02formatRefs: Remove empty parent nodesLars-Dominik Braun1-1/+1
2016-09-18formatRefs: Fix page numbersLars-Dominik Braun1-1/+1
2016-09-17formatRefs: Fix non-numeric page number handlingLars-Dominik Braun1-1/+4
2016-09-17Move formatRefs to toolsLars-Dominik Braun1-0/+150