diff --git a/doc/local_ros_installation.md b/doc/local_ros_installation.md index c2e7c9d2263073890f01792a08a59cc50a7aff1d..855299fef65ab36555fb75b556f6856a14db751c 100644 --- a/doc/local_ros_installation.md +++ b/doc/local_ros_installation.md @@ -16,14 +16,14 @@ for en overview of the available functionality. A simple dark alert—check it out! </div> -<hr> +<hr nosize height=20> <hr> <hr> ## Preparation Get the waraps repo: -```ruby +```bash git clone git@gitlab.liu.se:lrs/waraps.git ```