removed space

diff --git a/web/index.php b/web/index.php
index 708af83a98e33dd2ef0255ef52c4ce0cd9a8d7bf..212729f03d852f473b6564a84a06da31b6a2558c 100644 (file)
--- 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 = "";