Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
chore: clean up unnecessary code/files (#23)
There exist outdated code and files, which are not compatible with the current API in world_manager and world_communicator. Those code and files are removed.
- Loading branch information