CVSROOT: /cvs Module name: ports Changes by: [email protected] 2018/04/11 08:36:14
Added files:
math/minisat/patches: patch-minisat_core_Solver_cc
patch-minisat_utils_Options_h
Log message:
math/minisat: Fix for clang 6.
OK sthen@, thanks.
