Skip to content

Add short name to --skip-missing-interpreters as -s#1119

Merged
gaborbernat merged 2 commits intotox-dev:masterfrom evandroforks:skip_missing_shortcutJan 4, 2019

Commits

Commits on Jan 3, 2019