summaryrefslogtreecommitdiff
path: root/indexing/hsindex/src/HsIndex/Sorting.hs
AgeCommit message (Expand)Author
2022-04-06CTAN sync 202204060301Norbert Preining