Commit Graph

2 Commits

Author SHA1 Message Date
David Dawes
e304f17155 Update README with first time info. 2018-06-01 23:32:47 -07:00
David Dawes
7881b9449a Rename things to verus-cli 2018-06-01 21:28:10 -07:00