summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorAdrien Nader <adrien@notk.org>2015-03-25 22:28:59 +0100
committerAdrien Nader <adrien@notk.org>2015-03-25 22:28:59 +0100
commitbec009484dbe7a9791b06e5400875615d8768817 (patch)
tree6f40c8daf2c55b548eb5b164682490bab682d154
parent2e904be7648e0701d689523ad804674aff9ed82b (diff)
Build/Windows: remove additional line spuriously commited.1.5
-rw-r--r--build/windows.ml1
1 files changed, 0 insertions, 1 deletions
diff --git a/build/windows.ml b/build/windows.ml
index eb510c6..b3dd3a6 100644
--- a/build/windows.ml
+++ b/build/windows.ml
@@ -193,7 +193,6 @@ let do_adds builder =
~build:2
~sources:[
Source.mingw_w64;
- "clock_gettime.patch", "";
]
in