mirror of
https://github.com/verilator/verilator.git
synced 2026-10-05 17:43:31 +02:00
This has not been used by Verilator for a while, but was kept for compatibility with some external code. Now removed.
This has not been used by Verilator for a while, but was kept for compatibility with some external code. Now removed.