Add additional help
authorMiodrag Milanovic <mmicko@gmail.com>
Mon, 5 Jul 2021 07:16:54 +0000 (09:16 +0200)
committerMiodrag Milanovic <mmicko@gmail.com>
Mon, 5 Jul 2021 07:16:54 +0000 (09:16 +0200)
commit0dbb05a75e1bb92c194ce6305fee02bf2e5e0470
tree3c62e0887e04831db2357ed318edeea42f05906b
parentc0d8da20d58d13ae5bb169ce587f05fbb851a8d0
Add additional help
frontends/verific/verific.cc