Closed aaronchongth closed 1 year ago
Signed-off-by: Aaron Chong aaronchongth@gmail.com
Fixes mistakes in build instructions mentioned in https://github.com/open-rmf/rmf/discussions/224#discussioncomment-3655587.
Signed-off-by: Aaron Chong aaronchongth@gmail.com
Bug fix
Fixed bug
Fixes mistakes in build instructions mentioned in https://github.com/open-rmf/rmf/discussions/224#discussioncomment-3655587.