diff options
| author | stuebinm | 2021-12-16 03:00:12 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-16 03:00:12 +0100 |
| commit | 41d5441c3d1974a84f14b7eb702aa240338ac9fa (patch) | |
| tree | ab3dab4e8c57320bda7aece5e2e0456670dd2722 /walint.cabal | |
| parent | 988b8fd7fdba5eee0b100401351199af918bc9e0 (diff) | |
lint if tileset properties are set on the map instead
(this seems to be a common mistake so far)
Diffstat (limited to 'walint.cabal')
0 files changed, 0 insertions, 0 deletions