GitHub mapdownloader

Voeg een downloadknop toe,Maakt eenvoudig downloaden van specifieke GitHub map。

Per 26-03-2025. Zie de nieuwste versie.

Dit zijn versies van het script waarin de code is bijgewerkt. Alle versies tonen.