diff options
| author | whitequark <whitequark@whitequark.org> | 2020-08-27 11:24:06 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-08-27 11:24:06 +0000 |
| commit | 702f7c0253dcf9410050586a5e56da044e3277a3 (patch) | |
| tree | ab94c9121ceb78152a538843e82f69228e938dde /backends/btor/Makefile.inc | |
| parent | 880df4c89763464b471b1e2044f3f296bb3332b4 (diff) | |
| parent | 00e7dec7f54eb2e4f18112e5c0007a55287fdf8e (diff) | |
| download | yosys-702f7c0253dcf9410050586a5e56da044e3277a3.tar.gz yosys-702f7c0253dcf9410050586a5e56da044e3277a3.tar.bz2 yosys-702f7c0253dcf9410050586a5e56da044e3277a3.zip | |
Merge pull request #2358 from whitequark/rename-ilang-to-rtlil
Replace "ILANG" with "RTLIL" everywhere
Diffstat (limited to 'backends/btor/Makefile.inc')
0 files changed, 0 insertions, 0 deletions