From 2cb752123d15916496e872c9fbd423c788c86c64 Mon Sep 17 00:00:00 2001 From: Joris Date: Sat, 8 Aug 2020 21:11:57 +0200 Subject: Remove unused color modal --- src/View/Colors.ml | 4 ---- 1 file changed, 4 deletions(-) delete mode 100644 src/View/Colors.ml (limited to 'src/View/Colors.ml') diff --git a/src/View/Colors.ml b/src/View/Colors.ml deleted file mode 100644 index 380a01c..0000000 --- a/src/View/Colors.ml +++ /dev/null @@ -1,4 +0,0 @@ -let content () = - H.div - [| |] - [| H.text "Colors" |] -- cgit v1.2.3