Allow usage of different ROS distributions in Dockerfile#313

Merged

esteve merged 2 commits intoros2-rust:mainfrom uwearzt:ros-distri-for-docker

Jul 13, 2023

+4-2

Commits on Jul 13, 2023

Allow usage of different ROS distributions in Dockerfile

uwearzt
authored and
esteve
committed
iron docker is working too

uwearzt
authored and
esteve
committed