diff options
| author | Joris | 2020-08-08 21:11:57 +0200 |
|---|---|---|
| committer | Joris | 2020-08-08 21:11:57 +0200 |
| commit | 2cb752123d15916496e872c9fbd423c788c86c64 (patch) | |
| tree | a9db0b21d963f0f12ce0cfb6dc446a77ea964741 /src/View/Colors.ml | |
| parent | 38e42723a916b7d5c2a15e514b3f3e6dcab398dd (diff) | |
| download | map-2cb752123d15916496e872c9fbd423c788c86c64.tar.gz map-2cb752123d15916496e872c9fbd423c788c86c64.tar.bz2 map-2cb752123d15916496e872c9fbd423c788c86c64.zip | |
Remove unused color modal
Diffstat (limited to 'src/View/Colors.ml')
| -rw-r--r-- | src/View/Colors.ml | 4 |
1 files changed, 0 insertions, 4 deletions
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" |] |