tree 66b9aa0735aa9672929529a1013f561e3e5abe3a
parent 07302adc818271b9d2d7e1c3c353053955183121
author Michael Schaffner <msf@opentitan.org> 1618361461 -0700
committer Michael Schaffner <msf@google.com> 1618369973 -0700

[lint/docs] Update ascentlint dvsim command in readme

Signed-off-by: Michael Schaffner <msf@opentitan.org>