diff options
author | Adrien Nader <adrien@notk.org> | 2015-03-25 22:28:59 +0100 |
---|---|---|
committer | Adrien Nader <adrien@notk.org> | 2015-03-25 22:28:59 +0100 |
commit | bec009484dbe7a9791b06e5400875615d8768817 (patch) | |
tree | 6f40c8daf2c55b548eb5b164682490bab682d154 | |
parent | 2e904be7648e0701d689523ad804674aff9ed82b (diff) |
Build/Windows: remove additional line spuriously commited.1.5
-rw-r--r-- | build/windows.ml | 1 |
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 |