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

---
 doc/local_ros_installation.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/local_ros_installation.md b/doc/local_ros_installation.md
index 7e720e9..c2e7c9d 100644
--- a/doc/local_ros_installation.md
+++ b/doc/local_ros_installation.md
@@ -23,7 +23,7 @@ for en overview of the available functionality.
 ## Preparation
 
 Get the waraps repo:
-```bash
+```ruby
 git clone git@gitlab.liu.se:lrs/waraps.git
 ```
 
-- 
GitLab