summaryrefslogtreecommitdiff
path: root/editor/forms/delete_page.ml
diff options
context:
space:
mode:
Diffstat (limited to 'editor/forms/delete_page.ml')
-rwxr-xr-xeditor/forms/delete_page.ml18
1 files changed, 0 insertions, 18 deletions
diff --git a/editor/forms/delete_page.ml b/editor/forms/delete_page.ml
deleted file mode 100755
index 37b1c32..0000000
--- a/editor/forms/delete_page.ml
+++ /dev/null
@@ -1,18 +0,0 @@
-open Brr
-open Note
-
-type t = unit
-
-let create
- : unit -> t Note.signal * El.t
- = fun () ->
- let state = S.const () in
-
- let message = begin
- let open Jstr in
-
- (v "La page sera définitivement supprimée")
- end in
-
- ( state
- , El.txt message )