search

ros / resource_retriever

Package used to retrieve resources of different kinds, e.g. http://, file://, the ROS specific package://, etc.
8 stars 42 forks source link

Allow spaces #85

Closed simonschmeisser closed 4 months ago

simonschmeisser commented 1 year ago

fixes #84

likely needs a check for curl version being greater than 7.78