David Dawes 5284ac6e2f Version to 0.3.8-beta in READMEs plus cleanup (#74) ...

* Build verus-cli, get dependencies nailed down.

* Fiddling about with scripts.

* Clean READMEs up a bit.

* Update READMEs for 03.8-beta and fix some notes.

2018-06-24 15:00:13 -07:00

..

verus-cli

Version to 0.3.8-beta in READMEs plus cleanup (#74)

2018-06-24 15:00:13 -07:00