ros-infrastructure / rosindex

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

Fixing Tutorial Permalink #443

Closed CursedRock17 closed 3 weeks ago

CursedRock17 commented 3 weeks ago

Aiming to resolve #433, this pull request adds a very important part to the tutorial section that I forgot: the permalink which provides the url for tutorial.md. I apologize for the mistake.

I also, decided to change the formatting of my subheadiings, to more appropriotly match other sections on the site.