Dev.oo option: add hidden -oo option to control output orthography #106
feat: Add a (hidden) -oo / --output-orth option to control the output…
93d72287
feat: error handling and testing for the -oo option
6316d294
ci: enable GitHub actions "run tests" CI
aa254b31
ci: generate coverage report in xml
0bf7017e
joanise
force pushed
from
77a02d35
to
0bf7017e
2 years ago
joanise
merged
0bf7017e
into master 2 years ago
joanise
deleted the dev.oo-option branch 2 years ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub