diff options
| author | Clifford Wolf <clifford@clifford.at> | 2014-09-06 10:15:47 +0200 |
|---|---|---|
| committer | Clifford Wolf <clifford@clifford.at> | 2014-09-06 10:15:47 +0200 |
| commit | 652345c9cd41a6a93925477e44a6d7925b0d7584 (patch) | |
| tree | b546123251d39df2ffd115fb0b8a08e57e7cf538 /tests/sat | |
| parent | 01ef34c147dd3e3e3d13864f9c726727a4013207 (diff) | |
| parent | 79cbf9067c07ed810b3466174278d77b9a05b46d (diff) | |
| download | yosys-652345c9cd41a6a93925477e44a6d7925b0d7584.tar.gz yosys-652345c9cd41a6a93925477e44a6d7925b0d7584.tar.bz2 yosys-652345c9cd41a6a93925477e44a6d7925b0d7584.zip | |
Merge pull request #38 from rubund/master
Corrected spelling mistakes found by lintian
Diffstat (limited to 'tests/sat')
0 files changed, 0 insertions, 0 deletions