diff options
| author | stuebinm | 2021-10-17 21:27:50 +0200 |
|---|---|---|
| committer | stuebinm | 2021-10-30 15:44:25 +0200 |
| commit | a74cc87b085fa15213f8901f091db2631fee10db (patch) | |
| tree | 333d8eb8d85e3e65d5410824fdc2a54f33e99957 /.gitlab-ci.yml | |
| parent | 216c2b6cfcef0038823f45c2bc43d297dcff43be (diff) | |
add tileset property linting
this reorganised the whole linting for tilesets somewhat; it's now very
similar to that linting layers, and it may be possible to abstract some
of the code away ...
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions