Commit Graph

2 Commits

Author SHA1 Message Date
David Dawes
ad36023197 Revise README with startup info. 2018-06-01 23:36:34 -07:00
David Dawes
7881b9449a Rename things to verus-cli 2018-06-01 21:28:10 -07:00