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