Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[Make a map or map annotation] Map editing functions #158

Open
jihoonl opened this issue Oct 27, 2014 · 0 comments
Open

[Make a map or map annotation] Map editing functions #158

jihoonl opened this issue Oct 27, 2014 · 0 comments

Comments

@jihoonl
Copy link
Collaborator

jihoonl commented Oct 27, 2014

It would be nice to provide the followings for map editing

  • crop_map
  • draw gray, white, black space for removing wrong obstacles, polishing open space.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant