From d868ea0615b3e979c29a78803488d88b397d1985 Mon Sep 17 00:00:00 2001
From: Tommy Persson <tommmy.persson@liu.se>
Date: Thu, 1 Oct 2020 21:09:40 +0200
Subject: [PATCH] Work with devel env.

---
 doc/local_ros_installation.md | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/doc/local_ros_installation.md b/doc/local_ros_installation.md
index c2e7c9d..855299f 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
 ```
 
-- 
GitLab