Asher Dawes e96d89daa3 Asher dev (#81) ...

* Updating GitLab CI, clean up.

* Updating GitLab CI config

2018-06-27 13:29:35 -07:00

..

verus-cli

Asher dev (#81)

2018-06-27 13:29:35 -07:00