search

ros-infrastructure / rosindex

The source code for generating index.ros.org
https://index.ros.org
GNU General Public License v3.0
12 stars 23 forks source link

Fix misalignment of repo name #395

Open rkent opened 3 weeks ago

rkent commented 3 weeks ago

Fixes #394

I'm a little confused as to why this has not been reported before or fixed, it really is a simple issue. But here is the fix, just remove the extra