mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-08-29 09:30:28 +02:00
Latest still gets -dev, but if it's a docs preview use the tag/branch name.
Latest still gets -dev, but if it's a docs preview use the tag/branch name.