From dfdd71e635af897947c82d7101062e11d5139fe4 Mon Sep 17 00:00:00 2001 From: c-cube Date: Mon, 1 Apr 2024 19:51:53 +0000 Subject: [PATCH] deploy: 8b23cb7daedece00252a272e9c600ab93c2dab01 --- moonpool-lwt/_doc-dir/README.md | 1 + moonpool/_doc-dir/README.md | 1 + 2 files changed, 2 insertions(+) diff --git a/moonpool-lwt/_doc-dir/README.md b/moonpool-lwt/_doc-dir/README.md index 5a37e6a0..20264fcb 100644 --- a/moonpool-lwt/_doc-dir/README.md +++ b/moonpool-lwt/_doc-dir/README.md @@ -182,6 +182,7 @@ is done. ```ocaml # #require "moonpool.fib";; +... # (* convenient alias *) module F = Moonpool_fib;; diff --git a/moonpool/_doc-dir/README.md b/moonpool/_doc-dir/README.md index 5a37e6a0..20264fcb 100644 --- a/moonpool/_doc-dir/README.md +++ b/moonpool/_doc-dir/README.md @@ -182,6 +182,7 @@ is done. ```ocaml # #require "moonpool.fib";; +... # (* convenient alias *) module F = Moonpool_fib;;