From 88f1b7388e5337ef04aa0f5e120665d5bff6f5cc Mon Sep 17 00:00:00 2001
From: Michael Kohlhase <m.kohlhase@jacobs-university.de>
Date: Sat, 24 Jun 2017 09:23:19 +0200
Subject: [PATCH] comment formatted

---
 _includes/menu_sub.html | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/_includes/menu_sub.html b/_includes/menu_sub.html
index d803532..64f43c9 100644
--- a/_includes/menu_sub.html
+++ b/_includes/menu_sub.html
@@ -1,5 +1,6 @@
 {% comment %}
-    This page creates a submenu item. It expects an appropriate `item` as argument. 
+  This page creates a submenu item.
+    It expects an appropriate `item` as argument. 
     It also expects the global 'sorted_pages' argument. 
 {% endcomment %}
 
@@ -73,4 +74,4 @@
             </li>
         </ul>
     </li>
-{% endunless %}
\ No newline at end of file
+{% endunless %}
-- 
GitLab