Merge branch 'master' of source.mapcomplete.org:MapComplete/MapComplete

This commit is contained in:
Pieter Vander Vennet 2025-07-11 03:30:52 +02:00
commit bfb31bfaa1

View file

@ -124,6 +124,8 @@ export class SourceOverview {
})
}
urls.push(...packageInInfo(["https://protomaps.github.io"]))
const packageInInfoD: (url: (string | string[])) => (ServerSourceInfo[]) = (url: string | string[]) => {
if (!url) {
return []