Merge pull request #2358 from whitequark/rename-ilang-to-rtlil
authorwhitequark <whitequark@whitequark.org>
Thu, 27 Aug 2020 11:24:06 +0000 (11:24 +0000)
committerGitHub <noreply@github.com>
Thu, 27 Aug 2020 11:24:06 +0000 (11:24 +0000)
Replace "ILANG" with "RTLIL" everywhere

1  2 
Makefile

diff --cc Makefile
Simple merge