Replace noetic -> <distro>

rhaschke committed Nov 28, 2023

catkin-tools on Noetic requires a different debian package

rhaschke committed Dec 15, 2021

ROS Melodic -> Noetic

rhaschke committed Apr 8, 2021

fix `catkin config` command

rhaschke committed May 5, 2020

Improve catkin instructions

rhaschke committed Apr 28, 2020

general cleanup .org -> .md indigo -> melodic

rhaschke committed Apr 28, 2020

WSL-based ROS installation

rhaschke committed Apr 28, 2020

Updated ROS Introduction (markdown)

rhaschke committed Apr 28, 2020

ROS Introduction (-> markdown)

rhaschke committed Apr 28, 2020