Rename dash.pele.is-a.dev.json to dash.pele.json

This commit is contained in:
Pele
2024-12-06 21:26:29 +01:00
committed by GitHub
parent 6659405495
commit f6fd14ee7d