Repair fix coords#43
Merged
bertsky merged 12 commits intoOCR-D:masterfrom Sep 14, 2020
Merged
Commits
Commits on Sep 10, 2020
- committed
Robert Sachunsky - committed
Robert Sachunsky - committed
Robert Sachunsky - committed
Robert Sachunsky
Commits on Sep 14, 2020
- authored
- authored
- authored
- committed
Robert Sachunsky - committed
Robert Sachunsky - committed
Robert Sachunsky - committed
Robert Sachunsky - committed
Robert Sachunsky