diff options
| author |  Joey Hess <id@joeyh.name> | 2013-05-10 16:57:21 -0500 |
|---|---|---|
| committer | Joey Hess <id@joeyh.name> | 2013-05-10 16:57:21 -0500 |
| commit | ae6293ae6710b0a7580bc9a0045c92d1d5b87036 (patch) | |
| tree | fbd105bed124fb698fdc5bbdf4eb2d9ccd086979 /Remote/WebDAV.hs | |
| parent | 5d0476bf59674b39fa6bad7e4446b5c741181143 (diff) | |
fixup #if 0 stubs to use #ifndef mingw32_HOST_OS
That's needed in files used to build the configure program.
For the other files, I'm keeping my __WINDOWS__ define, as I find that much easier to type.
I may search and replace it to use the mingw32_HOST_OS thing later.
Diffstat (limited to 'Remote/WebDAV.hs')
0 files changed, 0 insertions, 0 deletions