summaryrefslogtreecommitdiff
path: root/tools/formatRefs.py
AgeCommit message (Collapse)AuthorFilesLines
2016-09-17formatRefs: Fix non-numeric page number handlingLars-Dominik Braun1-1/+4
2016-09-17Move formatRefs to toolsLars-Dominik Braun1-0/+150