From 54f6e68c051afec0d20c349352feee5356e11b35 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@dailly.me>
Date: Mon, 7 Feb 2022 15:49:48 +0100
Subject: Update editor code

---
 editor/actions/event.ml | 9 ---------
 1 file changed, 9 deletions(-)
 delete mode 100755 editor/actions/event.ml

(limited to 'editor/actions/event.ml')

diff --git a/editor/actions/event.ml b/editor/actions/event.ml
deleted file mode 100755
index 21e3d3a..0000000
--- a/editor/actions/event.ml
+++ /dev/null
@@ -1,9 +0,0 @@
-module type Handler = sig
-
-  type t
-
-  val apply: t -> State.t -> State.t
-
-end
-
-type t = E : 'a * (module Handler with type t = 'a) -> t
-- 
cgit v1.2.3