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