From 3175f6141c15469a00c64a6e281d2cf30f3ef349 Mon Sep 17 00:00:00 2001
From: Wilfried OLLIVIER <wollivier@bearstech.com>
Date: Thu, 22 Nov 2018 12:49:45 +0100
Subject: [PATCH] Remove useless line

---
 src/dev/main.md | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/src/dev/main.md b/src/dev/main.md
index e3f3c77..3727388 100644
--- a/src/dev/main.md
+++ b/src/dev/main.md
@@ -1,3 +1 @@
-# Dev
-
-All dev stuff goes here
\ No newline at end of file
+# Dev
\ No newline at end of file