From 4e234d1d8cb95fe1c8227dbb59db45de26cca946 Mon Sep 17 00:00:00 2001
From: "Matteo Nastasi (mop)" <nastasi@alternativeoutput.it>
Date: Sat, 19 Apr 2008 15:53:13 +0000
Subject: [PATCH] removed space

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

diff --git a/web/index.php b/web/index.php
index 708af83..212729f 100644
--- a/web/index.php
+++ b/web/index.php
@@ -42,7 +42,7 @@ log_load("index.php");
 function main()
 {
   GLOBAL $G_is_local, $sess, $name, $table_idx, $table_token, $BRISK_SHOWHTML, $BRISK_DEBUG, $_SERVER;
-  
+
   $body = "";
   $tables = "";
   $standup = "";
-- 
2.17.1