Skip to content
Snippets Groups Projects
Unverified Commit 6626d35b authored by Nutomic's avatar Nutomic Committed by GitHub
Browse files

Second attempt to make command line options more consistent (#4249) 


Co-authored-by: default avatarDessalines <dessalines@users.noreply.github.com>
parent 60ffa2a5
Hide whitespace changes
Inline Side-by-side
Showing
with 17 additions and 18 deletions
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment