diff options
author | Nick White <git@njw.name> | 2019-01-24 17:56:14 +0000 |
---|---|---|
committer | Nick White <git@njw.name> | 2019-01-24 17:56:14 +0000 |
commit | 6e08494a8883a8e304ef02ea352a11776ab2294c (patch) | |
tree | 47ca50fefafa5f8381dc2237792aff11a9b2c085 /line-conf-buckets | |
parent | 010255d2c19bbd06ca7e5ce92d8f98f3c12e0ad3 (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