5 commits

Author	SHA1	Message	Date
Gerber, Mike	18d4ab0ba1	✨ ppn2ocr: Use a better example document	2020-05-22 16:45:19 +02:00
Gerber, Mike	8024064697	🐛 ppn2ocr: Fix file:/ links to use file:///, and remove unavaiblable LOCAL file group	2020-05-22 16:09:00 +02:00
Gerber, Mike	3b60b26c53	🐛 ppn2ocr: Do not set no_proxy here	2020-05-18 21:03:06 +02:00
Gerber, Mike	5675047047	🧹 ppn2ocr: We already use run-docker-hub	2020-05-14 16:25:34 +02:00
Gerber, Mike	770af0a205	🚧 WIP: Add script ppn2ocr to run a document by giving PPN	2020-03-09 18:27:29 +01:00