search

heldersepu / GMapCatcher

An offline map viewer
Other
218 stars 69 forks source link

Added --map-server and --repo-type to download.py #491

Closed nmaludy closed 3 years ago

nmaludy commented 3 years ago

Previously download.py couldn't pick the map server or the saved repo type.

This PR adds those features as CLI flags.