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/Color.ml | |
| parent | 3e39f97d844dbe0ff5f57e3977bc220d366d4c0e (diff) | |
Propose already defined colors in the form
Diffstat (limited to 'src/Color.ml')
0 files changed, 0 insertions, 0 deletions