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
_WIN32 and not WIN32 for preprocessor#204waywardmonkeys wants to merge 1 commit intoGecode:release/6.3.0from
