From 75d0ee3f43220516d98215f519603baaec7dae53 Mon Sep 17 00:00:00 2001
From: filip <filip.komar@gmail.com>
Date: Sun, 14 Oct 2018 00:03:55 +0200
Subject: some tiny lint fixes

---
 en/doc/index.php | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'en/doc/index.php')

diff --git a/en/doc/index.php b/en/doc/index.php
index 2fdb6bea9..dff85cedc 100644
--- a/en/doc/index.php
+++ b/en/doc/index.php
@@ -49,7 +49,7 @@ require 'doc.php';
                         <?php doc_list(_r('Network installation'), 'netinstall', 6); ?>
                     </div>
                     </div><!--row-->
-                    <hr></hr>
+                    <hr>
                     <h3>Mageia 5</h3>
                     <div class="row">
                     <div class="col">
-- 
cgit v1.2.1