diff options
author | 2013-08-02 12:27:32 -0400 | |
---|---|---|
committer | 2013-08-02 12:27:32 -0400 | |
commit | 250a25c8572e557772a9973542f9cfca6ac10b9b (patch) | |
tree | 7d4aaa36a7d5b6c3c5e03fb844fb844da4c037d2 /Assistant/Pushes.hs | |
parent | a39c161ab377eed381186bc57953cd59d6188108 (diff) |
get rid of __WINDOWS__, use mingw32_HOST_OS
The latter is harder for me to remember, but avoids build failures in code
used by the configure program.
Diffstat (limited to 'Assistant/Pushes.hs')
0 files changed, 0 insertions, 0 deletions