Rename things to verus-cli

This commit is contained in:
David Dawes
2018-06-01 21:28:10 -07:00
parent de99c75cb2
commit 7881b9449a
9 changed files with 1 additions and 1 deletions