Passed
Push — master ( f4b197...cb5b58 )
by Konstantin
02:38 queued 10s
created
5.88
▶   ± 0
Head
Konstantin Baierer  
Merge pull request #586 from OCR-D/no-args-help
3 more commits
Base
Konstantin Baierer  
:memo: changelog