projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 04802e9) | patch
minisat: Remove template with gzFile specialization.
authorTim 'mithro' Ansell <mithro@mithis.com>
Fri, 24 Nov 2017 04:30:55 +0000 (15:30 +1100)
committerTim 'mithro' Ansell <mithro@mithis.com>
Sun, 26 Nov 2017 03:48:26 +0000 (19:48 -0800)
commit8d48b47450f5e62a7db1766da57d5736872077a9
treebf65c662a7300bf2dae7832d55f31b7a30a2bc58tree
parent04802e93e857a227b48479abd7970cb4152f496bcommit | diff
minisat: Remove template with gzFile specialization.

All the other gzFile functions have been removed but this template was
still left around.
libs/minisat/00_PATCH_remove_zlib.patch diff | blob | history
libs/minisat/Dimacs.h diff | blob | history