From fe2cced55e1b44dbae57e55fe0f459c85e7369cb Mon Sep 17 00:00:00 2001 From: Sébastien Dailly Date: Mon, 7 Feb 2022 16:21:26 +0100 Subject: Application unification --- editor/forms/delete_page.mli | 5 +++++ 1 file changed, 5 insertions(+) create mode 100755 editor/forms/delete_page.mli (limited to 'editor/forms/delete_page.mli') diff --git a/editor/forms/delete_page.mli b/editor/forms/delete_page.mli new file mode 100755 index 0000000..0a3d9f9 --- /dev/null +++ b/editor/forms/delete_page.mli @@ -0,0 +1,5 @@ +type t = unit + +val create + : unit -> t Note.signal * Brr.El.t + -- cgit v1.2.3