Add Verific Release information to log
authorClifford Wolf <clifford@clifford.at>
Tue, 4 Jul 2017 18:01:30 +0000 (20:01 +0200)
committerClifford Wolf <clifford@clifford.at>
Tue, 4 Jul 2017 18:01:30 +0000 (20:01 +0200)
commit28039c3063f462b03291957dcc9672072a59975e
tree3d4ca72890d7b62c0cb8b7b19a65e9e52923111a
parent621787a9e0ab8064d004735889430e20b6e9c274
Add Verific Release information to log
frontends/verific/verific.cc