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 /pgconf%252525253fh%252525253dv0.3.0&id%252525253df20982f465ee4735caf5b0ebc3c57af31ee90e75 | |
| parent | 035bd3e8ed1e4660be980225a06f886d7a9febcd (diff) | |
Add -d to -hocr tool, and improve documentation
Diffstat (limited to 'pgconf%252525253fh%252525253dv0.3.0&id%252525253df20982f465ee4735caf5b0ebc3c57af31ee90e75')
0 files changed, 0 insertions, 0 deletions