mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-09-01 18:47:29 +02:00
Removes group parsing from command ref domain, instead relying on a 'groups' object in the cmds.json file. `docs/source/cmd` is no longer ignored or cleaned.