summaryrefslogtreecommitdiff
path: root/frontends/verific
Commit message (Expand)AuthorAge
...
* Added "verific" commandClifford Wolf2014-03-09