summaryrefslogtreecommitdiff
path: root/exts
Commit message (Expand)AuthorAgeFilesLines
* Sort Policy Index keys by PGxx identifiersMichał Górny2020-03-021-1/+3
* Use #pg links in TOCMichał Górny2020-02-251-0/+6
* Generate a Policy IndexMichał Górny2020-02-251-3/+75
* Introduce PGnnnn identifiers for policiesMichał Górny2020-02-251-0/+48