win32: Use _WIN32 and not WIN32 for preprocessor#204
Open
waywardmonkeys wants to merge 1 commit intoGecode:release/6.3.0from
Open
win32: Use `_WIN32` and not `WIN32` for preprocessor#204waywardmonkeys wants to merge 1 commit intoGecode:release/6.3.0from
waywardmonkeys wants to merge 1 commit intoGecode:release/6.3.0from