From 0c0c8968e447fc6cf356fea01ca34ab63781442f Mon Sep 17 00:00:00 2001
From: gnieark <gnieark@free.fr>
Date: Sun, 29 Nov 2015 21:06:28 +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 67ffa43..8750e98 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>