mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-14 04:16:28 +00:00
Rename Mars.is-local.org.json to mars.is-local.org.json
This commit is contained in:
1 parent
ea1c8df175
commit
318045da21
1 file changed
File renamed without changes.
Reference in new issue
Block a user