Skip to content

Commit 04e8457

Browse files
Merge pull request #979 from ocsigen/remove-lwt-domain
Remove lwt_domain (moved to https://github.com/ocsigen/lwt_domain)
2 parents 3d6f0fa + f7e67c1 commit 04e8457

File tree

7 files changed

+0
-318
lines changed

7 files changed

+0
-318
lines changed

lwt_domain.opam

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

src/domain/dune

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

src/domain/lwt_domain.ml

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

src/domain/lwt_domain.mli

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

test/domain/dune

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

test/domain/main.ml

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

test/domain/test_lwt_domain.ml

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

0 commit comments

Comments
 (0)