Skip to content

Commit bd77643

Browse files
authored
Merge pull request #532 from patricoferris/windows-no-pins
Remove pins for windows
2 parents 0325b67 + 75ce40e commit bd77643

File tree

2 files changed

+0
-8
lines changed

2 files changed

+0
-8
lines changed

eio_windows.opam

Lines changed: 0 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -30,7 +30,3 @@ build: [
3030
]
3131
]
3232
dev-repo: "git+https://github.com/ocaml-multicore/eio.git"
33-
pin-depends: [
34-
# With Fdopen's patch, the only thing we need from opam-repo-mingw
35-
[ "ocamlbuild.dev" "git+https://github.com/patricoferris/ocamlbuild#b72c0dfdd6f1066d50da4b924b8196237696f66b" ]
36-
]

eio_windows.opam.template

Lines changed: 0 additions & 4 deletions
This file was deleted.

0 commit comments

Comments
 (0)