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

This commit is contained in:
orangc authored and GitHub committed 2024-10-14 13:27:57 +03:00
1 parent cff7d5bce7
commit 1472f5036d
1 file changed
File renamed without changes.