Studio
Dev.oo option: add hidden -oo option to control output orthography
#106
Merged

Dev.oo option: add hidden -oo option to control output orthography #106

joanise merged 4 commits into master from dev.oo-option
joanise
roedoejet feat: Add a (hidden) -oo / --output-orth option to control the output…
93d72287
joanise feat: error handling and testing for the -oo option
6316d294
joanise ci: enable GitHub actions "run tests" CI
aa254b31
joanise ci: generate coverage report in xml
0bf7017e
joanise joanise force pushed from 77a02d35 to 0bf7017e 2 years ago
codecov
joanise joanise merged 0bf7017e into master 2 years ago
joanise joanise deleted the dev.oo-option branch 2 years ago

Login to write a write a comment.

Login via GitHub

Reviewers
No reviews
Assignees
No one assigned
Labels
Milestone