From: David Shah <dave@ds0.me>
Date: Thu, 18 Jul 2019 16:34:55 +0000 (+0100)
Subject: Merge pull request #1207 from ZirconiumX/intel_new_pass_names
X-Git-Tag: working-ls180~1184
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=8e0f7c18f1beafcbd16afa616d7766089552d0a7;p=yosys.git

Merge pull request #1207 from ZirconiumX/intel_new_pass_names

synth_intel: rename for consistency with #1184
---

8e0f7c18f1beafcbd16afa616d7766089552d0a7