Merge "Move up devunt's name to Developers"

[lhc/web/wiklou.git] / docs / doxygen_first_page.php

diff --git a/docs/doxygen_first_page.php b/docs/doxygen_first_page.php
index 9949d13..77ae1dc 100644 (file)
--- a/docs/doxygen_first_page.php
+++ b/docs/doxygen_first_page.php
@@ -1,5 +1,5 @@
 <?php
-die("Not a valid entry point\n");
+die( "Not a valid entry point\n" );
 /**
  * This file does not hold any code. It is only there so we can generate
  * the doxygen documentation main page.