docs/docs-web
2020-02-15 22:38:06 +01:00
..
src Closes #317: edit tag color hex code manually 2020-02-15 22:38:06 +01:00
pom.xml Closes #373: high quality PDF to image conversion before OCR 2020-02-13 17:43:07 +01:00