mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-29 17:38:17 +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`).