mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-09-02 02:57:40 +02:00
Fix error on duplicated heading. Drop `cmd_ref`_ link (everything already uses :doc:`cmd_ref`).
Fix error on duplicated heading. Drop `cmd_ref`_ link (everything already uses :doc:`cmd_ref`).