diff options
Diffstat (limited to 'lang/mlton/files/patch-runtime-mingw.h')
| -rw-r--r-- | lang/mlton/files/patch-runtime-mingw.h | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/lang/mlton/files/patch-runtime-mingw.h b/lang/mlton/files/patch-runtime-mingw.h deleted file mode 100644 index fa5e0f317ccf..000000000000 --- a/lang/mlton/files/patch-runtime-mingw.h +++ /dev/null @@ -1,20 +0,0 @@ ---- runtime/platform/mingw.h.orig 2008-04-27 10:54:07.000000000 +1000 -+++ runtime/platform/mingw.h 2008-04-27 10:54:19.000000000 +1000 -@@ -85,17 +85,6 @@ - #define SHUT_RDWR SD_BOTH - - /* ------------------------------------------------- */ --/* Date */ --/* ------------------------------------------------- */ -- --struct timezone { -- int tz_dsttime; -- int tz_minuteswest; --}; -- --int gettimeofday (struct timeval *tv, struct timezone *tz); -- --/* ------------------------------------------------- */ - /* MLton.Itimer */ - /* ------------------------------------------------- */ - |