From 72e3b16bbd258e63f047392c973ba5e8f0a823c8 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Tue, 1 Jun 2021 13:11:58 +0200
Subject: Added export button in editor

---
 editor/forms/delete_page.ml | 18 ------------------
 1 file changed, 18 deletions(-)
 delete mode 100755 editor/forms/delete_page.ml

(limited to 'editor/forms/delete_page.ml')

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 )
-- 
cgit v1.2.3