Compare commits

..

No commits in common. "23a1a84a1347c3245fbca8a8bbf986b6c6846cbe" and "69c622fa0184606164bfbb6a257768c87d2a9d29" have entirely different histories.

2 changed files with 0 additions and 2 deletions

View File

@ -34,4 +34,3 @@ build: [
]
]
dev-repo: "git+https://github.com/ocaml-multicore/eio.git"
available: [os = "linux"]

View File

@ -1 +0,0 @@
available: [os = "linux"]