summaryrefslogtreecommitdiff
path: root/line-conf-buckets
diff options
context:
space:
mode:
authorNick White <git@njw.name>2019-01-24 17:56:14 +0000
committerNick White <git@njw.name>2019-01-24 17:56:14 +0000
commit6e08494a8883a8e304ef02ea352a11776ab2294c (patch)
tree47ca50fefafa5f8381dc2237792aff11a9b2c085 /line-conf-buckets
parent010255d2c19bbd06ca7e5ce92d8f98f3c12e0ad3 (diff)
Merge bucket-lines-{prob,hocr} into one tool called bucket-lines, that uses the filename extension to determine how to process the lines
Diffstat (limited to 'line-conf-buckets')
0 files changed, 0 insertions, 0 deletions