Scripts: (WIP): add a script to generate a health report for the Editor Layer Index

This commit is contained in:
Pieter Vander Vennet 2025-06-15 11:33:20 +02:00
parent 605ffc0ccf
commit c45ff69821
5 changed files with 1369 additions and 0 deletions

View file

@ -94,6 +94,7 @@ class DownloadEli extends Script {
max_zoom: props.max_zoom,
best: props.best ? true : undefined,
default: props.default ? true : undefined,
country_code: props.country_code,
"tile-size": props["tile-size"],
}