mirror of
https://github.com/tiennm99/open-domains.git
synced 2026-10-14 02:16:23 +00:00
Rename play.minecraft.semant.localplayer.dev to play.minecraft.semant.localplayer.dev.json
This commit is contained in:
1 parent
e69915d538
commit
1ae4bf0bae
1 file changed
File renamed without changes.
Reference in new issue
Block a user