Konstantin Baierer
Konstantin Baierer
should be regenerated from `./configure' within docker build context
With this PR, two additional aliases for docker tags: * `maximum-YYYY-MM-dd -> maximum` * `maximum-cuda-YYYY-MM-dd -> maximum-cuda` The first one to enable users of the non-CUDA maximum version to use...
We have a date-based alias for `maximum-cuda-git` but not for `maximum-git` without CUDA. We should provide date-based tags for all the tags. (raised by @BartChris in the [Lobby](https://app.gitter.im/#/room/#OCR-D_Lobby:gitter.im))
Like zero-width circles with a few special amenities (wider hover/snap tolerance, no draggers etc.) Potentially useful for annotating old maps.
And possibly keyboard mappings in general. This one is just particular tedious with the mouse (click select, select, click delete, click ok)
Can be re-generated with "shinclude -c xml -i README.md"
@suub has classified common OCR errors numerically here: https://github.com/suub/error-codes/blob/master/error-codes.org