Merge pull request #3176 from higuoxing/fix-ref-manual
authorMiodrag Milanović <mmicko@gmail.com>
Mon, 31 Jan 2022 15:11:00 +0000 (16:11 +0100)
committerGitHub <noreply@github.com>
Mon, 31 Jan 2022 15:11:00 +0000 (16:11 +0100)
Fix the help message of synth_quicklogic command.


Trivial merge