diff options
| author | Joris | 2020-08-08 21:04:28 +0200 |
|---|---|---|
| committer | Joris | 2020-08-08 21:04:28 +0200 |
| commit | 38e42723a916b7d5c2a15e514b3f3e6dcab398dd (patch) | |
| tree | 1b7415ae64ac9768b12fc4d543ee61d615d11e7e /src/View/Colors.ml | |
| parent | 3e39f97d844dbe0ff5f57e3977bc220d366d4c0e (diff) | |
| download | map-38e42723a916b7d5c2a15e514b3f3e6dcab398dd.tar.gz map-38e42723a916b7d5c2a15e514b3f3e6dcab398dd.tar.bz2 map-38e42723a916b7d5c2a15e514b3f3e6dcab398dd.zip | |
Propose already defined colors in the form
Diffstat (limited to 'src/View/Colors.ml')
| -rw-r--r-- | src/View/Colors.ml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/src/View/Colors.ml b/src/View/Colors.ml new file mode 100644 index 0000000..380a01c --- /dev/null +++ b/src/View/Colors.ml @@ -0,0 +1,4 @@ +let content () = + H.div + [| |] + [| H.text "Colors" |] |