docs/docs-web
2020-03-07 17:56:01 +01:00
..
src Closes #334: highlight previously opened file 2020-03-07 17:56:01 +01:00
pom.xml Closes #373: high quality PDF to image conversion before OCR 2020-02-13 17:43:07 +01:00