From a6b5a6bdd138a5ccc6827bcc73580df1e9218820 Mon Sep 17 00:00:00 2001
From: Sébastien Dailly <sebastien@chimrod.com>
Date: Fri, 24 Nov 2017 09:22:24 +0100
Subject: Moved all the code to src directory

---
 actions.mli | 28 ----------------------------
 1 file changed, 28 deletions(-)
 delete mode 100755 actions.mli

(limited to 'actions.mli')

diff --git a/actions.mli b/actions.mli
deleted file mode 100755
index f955538..0000000
--- a/actions.mli
+++ /dev/null
@@ -1,28 +0,0 @@
-type direction =
-| Up of int
-| Down of int
-| Left of int
-| Right of int
-| Absolute of int * int
-
-type modes =
-| Normal
-| Select
-| Edit
-| Command
-
-type actions =
-| Move of direction
-| Resize            (* Resize event *)
-| Escape
-| Delete
-| Yank
-| Paste
-| Search
-| Undo
-| Edit
-| InsertFormula
-| Visual
-| Button1_clicked of (int * int)
-| Button1_released of (int * int)
-| Command
-- 
cgit v1.2.3