Fix: add protomaps.github.io

This commit is contained in:
Pieter Vander Vennet 2025-07-10 23:36:59 +02:00
parent 8f219244da
commit 85aea0a6a6

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[]) => { const packageInInfoD: (url: (string | string[])) => (ServerSourceInfo[]) = (url: string | string[]) => {
if (!url) { if (!url) {
return [] return []