github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-01-31 06:02:11 +00:00
Code Issues Releases Wiki Activity
Files
8ba2000a50dcfedbcda57cfebabbfb39caabcfb9
YosysHQ.yosys/libs/minisat/00_PATCH_remove_zlib.patch
Tim 'mithro' Ansell 8d48b47450 minisat: Remove template with gzFile specialization. 
All the other gzFile functions have been removed but this template was
still left around.
2017-11-25 19:48:26 -08:00

1.6 KiB
Raw Blame History

View Raw
Reference in New Issue View Git Blame Copy Permalink