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