From: David Shah <dave@ds0.me>
Date: Thu, 18 Jul 2019 18:04:28 +0000 (+0100)
Subject: Merge pull request #1208 from ZirconiumX/intel_cleanups
X-Git-Tag: working-ls180~1183
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9cb0456b6f9fa86240a747bab9780a28001b1a02;p=yosys.git

Merge pull request #1208 from ZirconiumX/intel_cleanups

Assorted synth_intel cleanups from @bwidawsk
---

9cb0456b6f9fa86240a747bab9780a28001b1a02