Improve "help verific" message
authorClifford Wolf <clifford@clifford.at>
Tue, 25 Jul 2017 13:13:22 +0000 (15:13 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 25 Jul 2017 13:13:22 +0000 (15:13 +0200)
commitabd3b4e8e78ef1b1ac71d47db9f82bc5358a4d62
treea838c5708fac9204fa4cbc3054d8019735c5a3ab
parent6dbe1d4c92ffecaa0c6be57c3eb34fbb2c5266c2
Improve "help verific" message
frontends/verific/verific.cc