diff options
author | Nick White <git@njw.name> | 2019-01-24 17:26:36 +0000 |
---|---|---|
committer | Nick White <git@njw.name> | 2019-01-24 17:26:36 +0000 |
commit | 010255d2c19bbd06ca7e5ce92d8f98f3c12e0ad3 (patch) | |
tree | 383ca59060a5b2211996f514019befbb73d627ca /cmd | |
parent | 035bd3e8ed1e4660be980225a06f886d7a9febcd (diff) |
Add -d to -hocr tool, and improve documentation
Diffstat (limited to 'cmd')
0 files changed, 0 insertions, 0 deletions