diff --git a/docs/CONTRIBUTORS b/docs/CONTRIBUTORS index 89f59cf22..447e57f23 100644 --- a/docs/CONTRIBUTORS +++ b/docs/CONTRIBUTORS @@ -1,6 +1,5 @@ The contributors listed below have certified their Verilator contributions -under the Developer Certificate of Origin -(https://developercertificate.org/). +under the Developer Certificate of Origin (https://developercertificate.org/). Please see the Verilator manual for 200+ additional contributors. Thanks to all.