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/Button.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/Button.ml')
0 files changed, 0 insertions, 0 deletions