tree 586c2e62ffacaacfd4f8bfe660b685fb5d67b1e0
parent cf140b4d5a372c207398346237a0c6d62fc8f239
author Michael Schaffner <msf@opentitan.org> 1595905415 -0700
committer Michael Schaffner <msf@google.com> 1595975839 -0700

[lint/doc] Update linting readme to reflect recent updates

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