diff options
| author | Nick White <git@njw.name> | 2019-07-23 16:21:35 +0100 |
|---|---|---|
| committer | Nick White <git@njw.name> | 2019-07-23 16:21:35 +0100 |
| commit | 37b0a4ab075a9b526a7ab8508282039f37355d93 (patch) | |
| tree | 5a5bf86042244bbd0f6527252b34bd6535d98535 /scrape-leiden.sh | |
| parent | e99fd516431e146935557f41882cd4729073b120 (diff) | |
fix hocrtotxtdir.sh
Diffstat (limited to 'scrape-leiden.sh')
0 files changed, 0 insertions, 0 deletions