mirror of
https://gitea.blesmrt.net/mikaela/shell-things.git
synced 2025-06-25 00:17:27 +02:00
because developer tools fonts menu may be too useful for remote fonts at times
because developer tools fonts menu may be too useful for remote fonts at times