Commit Graph

2 Commits

Author SHA1 Message Date
Asher Dawes
5f889cf83b fixing output muting of subroutine definition 2018-06-24 13:41:22 -07:00
David Dawes
7881b9449a Rename things to verus-cli 2018-06-01 21:28:10 -07:00