Closed kejxu closed 5 years ago
update library install destination according to catkin guidelines, and add comment
thanks for approving the change @sloretz! is there anything else we would need before merging?
update library install destination according to catkin guidelines, and add comment