summaryrefslogtreecommitdiff
path: root/hocrtotxtdir.sh
AgeCommit message (Expand)Author
2019-07-23fix hocrtotxtdir.shNick White
2019-02-25Add various helper scriptsNick White
generated by cgit v1.2.1-24-ge1ad (git 2.21.0) at 2024-05-18 15:10:19 +0000