diff options
| author | Clifford Wolf <clifford@clifford.at> | 2019-09-29 10:36:25 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-09-29 10:36:25 +0200 |
| commit | 178c67ea226b093cdbe101a69cb83cc8800aa702 (patch) | |
| tree | 7460166269d06853099b24d8f75077c093d56374 /.editorconfig | |
| parent | c372e7baf9c48d41ebdbea4486a72e8dfaaddd3d (diff) | |
| parent | 5eebfabe4286d47a75508677e2bc76e8b422a879 (diff) | |
| download | yosys-178c67ea226b093cdbe101a69cb83cc8800aa702.tar.gz yosys-178c67ea226b093cdbe101a69cb83cc8800aa702.tar.bz2 yosys-178c67ea226b093cdbe101a69cb83cc8800aa702.zip | |
Merge pull request #1411 from aman-goel/YosysHQ-master
Corrects BTOR2 backend
Diffstat (limited to '.editorconfig')
0 files changed, 0 insertions, 0 deletions