docs/docs-web
2020-02-15 15:44:32 +01:00
..
src Closes #333: fix overflow in document table with a lot of tags 2020-02-15 15:44:32 +01:00
pom.xml Closes #373: high quality PDF to image conversion before OCR 2020-02-13 17:43:07 +01:00