search

gazebosim / docs

High-level Gazebo documentation that gets published to https://gazebosim.org/docs/
https://gazebosim.org/docs
44 stars 80 forks source link

Wget and curl both do the same thing. Remove wget and use only curl. #434

Closed arjo129 closed 3 months ago

arjo129 commented 3 months ago

I noticed that we ask users to install both wget and curl when installing from source. This feels redundant.