Commit Graph

1 Commits

Author SHA1 Message Date
David Dawes
058156b84b Build verus-cli, get dependencies nailed down. (#72)
* Build verus-cli, get dependencies nailed down.

* Fiddling about with scripts.

* Clean READMEs up a bit.
2018-06-24 13:25:27 -07:00