From c311019c8fdffda670cbd9f700603952d82ca2b3 Mon Sep 17 00:00:00 2001
From: Jens Bendisposto <jens@bendisposto.de>
Date: Mon, 13 Jul 2015 12:57:39 +0200
Subject: [PATCH] Update README.md

---
 README.md | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/README.md b/README.md
index b74fac8..cd827e6 100644
--- a/README.md
+++ b/README.md
@@ -7,15 +7,14 @@ The Camille Editor for Rodin.
 ## Building Camille
 Maven 3 is required to build the project: 
   <pre>
-  cd org.eventb.texteditor.parent
-  mvn clean verify 
+   cd org.eventb.texteditor.parent
+   mvn clean verify 
   </pre>  
   
 This will produce an updatesite in org.eventb.texteditor.repository/target
 
 We autmatically produce nightly builds that can be installed using the update site located at  http://nightly.cobra.cs.uni-duesseldorf.de/camille/
 
-
 ## Contributing/Bugs
 Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on [Github](https://github.com/hhu-stups/camille/issues)
 
-- 
GitLab