Closed JelleZijlstra closed 3 years ago
Also add CI, rename options to more consistent names
Fixes #3
Also add CI, rename options to more consistent names
Fixes #3