From 5a8c6e012922fbccc38e139f13a607cef70ac97a Mon Sep 17 00:00:00 2001
From: gnieark <gnieark@free.fr>
Date: Sun, 29 Nov 2015 21:05:32 +0100
Subject: [PATCH] /'/"

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

diff --git a/html/index.php b/html/index.php
index 77c33a3..67ffa43 100644
--- a/html/index.php
+++ b/html/index.php
@@ -131,7 +131,7 @@ if($currentArena == ""){
 	    
 	    echo '<aside id="history">
 	    <h2>infos:</h2>
-	    <p>'.$lang['DEV-YOUR-OWN-BOT']." <a href="/'.$currentArena.'/doc">'.$lang['DOC_SPECS_LINKS].'</a>
+	    <p>'.$lang['DEV-YOUR-OWN-BOT'].' <a href="/'.$currentArena.'/doc">'.$lang['DOC_SPECS_LINKS].'</a>
 	    <h2>Scores</h2>';
 	    foreach($hist as $sc){
 	      echo '<h3>'.$sc['bot1'].' VS '.$sc['bot2'].'</h3>