8 Commits (7c5cbc7244ec73c19880ce4d647d002eff66a948)

Author	SHA1	Message	Date
Gerber, Mike	7c5cbc7244	📝 ppn2ocr: Add to README, including proxy configuration	5 years ago
Gerber, Mike	1585247482	✨ ppn2ocr: Make PPN a command line parameter	5 years ago
Gerber, Mike	2a4b204fbe	🎨 ppn2ocr: Extract a function to make a workspace	5 years ago
Gerber, Mike	18d4ab0ba1	✨ ppn2ocr: Use a better example document	5 years ago
Gerber, Mike	8024064697	🐛 ppn2ocr: Fix file:/ links to use file:///, and remove unavaiblable LOCAL file group	5 years ago
Gerber, Mike	3b60b26c53	🐛 ppn2ocr: Do not set no_proxy here	5 years ago
Gerber, Mike	5675047047	🧹 ppn2ocr: We already use run-docker-hub	5 years ago
Gerber, Mike	770af0a205	🚧 WIP: Add script ppn2ocr to run a document by giving PPN	5 years ago