diff options
| author | Nick White <git@njw.name> | 2019-01-24 19:11:04 +0000 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-01-24 19:11:04 +0000 |
| commit | 1c17766952bdcd6f7d31d0fa1a2e504b1aa4f14a (patch) | |
| tree | 71bb15de82d98232d3625f872cc3ce70054cfc1b /pgconf%2525253fh%2525253dv0.4.2&id%2525253d859112b5e1516236b36e4faaa95ab5e4029c2f6c | |
| parent | 8dff3248515a81386c4bdedca9fa05b22033c68d (diff) | |
Fix bug: if non-prob/hocr file was encountered a dupe old line could be processed
Diffstat (limited to 'pgconf%2525253fh%2525253dv0.4.2&id%2525253d859112b5e1516236b36e4faaa95ab5e4029c2f6c')
0 files changed, 0 insertions, 0 deletions