Merge pull request #1620 from YosysHQ/eddie/abc9_scratchpad
authorEddie Hung <eddie@fpgeh.com>
Mon, 13 Jan 2020 17:04:20 +0000 (09:04 -0800)
committerGitHub <noreply@github.com>
Mon, 13 Jan 2020 17:04:20 +0000 (09:04 -0800)
abc9: add some scripts/options into "scratchpad"


Trivial merge