diff options
| author | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-04-19 23:52:21 +0000 |
|---|---|---|
| committer | Alberto Gonzalez <boqwxp@airmail.cc> | 2020-05-14 20:06:54 +0000 |
| commit | a4755c50c37636db1f39097e607592487d4eed29 (patch) | |
| tree | 017de981c0c1b0f2b9f8744aa29dccd77b2a3e0d /libs/minisat/00_PATCH_remove_zlib.patch | |
| parent | 7857782575bded685bdff55da942670343d54b20 (diff) | |
| download | yosys-a4755c50c37636db1f39097e607592487d4eed29.tar.gz yosys-a4755c50c37636db1f39097e607592487d4eed29.tar.bz2 yosys-a4755c50c37636db1f39097e607592487d4eed29.zip | |
Clean up extraneous buffer.
Diffstat (limited to 'libs/minisat/00_PATCH_remove_zlib.patch')
0 files changed, 0 insertions, 0 deletions