diff options
| author | Nick White <git@njw.name> | 2020-04-07 12:18:38 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2020-04-07 12:18:38 +0100 |
| commit | 9fb0842f07320d47509865c689747d2c82379f3d (patch) | |
| tree | c9f0d382cf57052d2765d7d933e1f4bb5859342d /preproc/cmd%3fh%3dminimisedisk&id%3d367e95adee6a7efbbe85468ac180f06402873a2f | |
| parent | af63449be98f1964b67981b2aedda0d2ea70fe6d (diff) | |
Remove unused OCR queue (was superceded by the ocrpage queue some time ago)
Diffstat (limited to 'preproc/cmd%3fh%3dminimisedisk&id%3d367e95adee6a7efbbe85468ac180f06402873a2f')
0 files changed, 0 insertions, 0 deletions