From 337dcb0223da4f3bbe8ae2173ed9a00a45f2f07f Mon Sep 17 00:00:00 2001
From: Maps <maps@ikf>
Date: Thu, 20 Jun 2013 19:45:04 +0200
Subject: [PATCH] git update working

---
 index.pl | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

diff --git a/index.pl b/index.pl
index 6a2d59d..5856c2c 100755
--- a/index.pl
+++ b/index.pl
@@ -36,9 +36,7 @@ Guess what? We didn't write any!
 <div class="index">
 <ul>
 <li><a href="tools/gitupdate.pl?stable">Check-out the stable branch without config files</a>
-<li><a href="tools/gitupdate.pl?stable-config">Check-out the stable branch with config files</a>
-<!--<li><a href="tools/gitupdate.pl?devel">Check-out the devel branch without config files</a>
-<li><a href="tools/gitupdate.pl?devel-config">Check-out the devel branch with config files</a>-->
+<li>Check-out the stable branch including config files: add -config to URL
 </div>
 
 </body>
-- 
2.43.0