Rename ciaobot.is-a.dev to ciaobot.json

This commit is contained in:
Flavio authored and GitHub committed 2024-01-31 15:16:56 +01:00
1 parent 358909911d
commit 62bf9f3366
1 file changed
File renamed without changes.