NOBUG: Some more testing of integration server

diff --git a/config-dist.php b/config-dist.php
index 8208513..66f6bad 100644 (file)
--- a/config-dist.php
+++ b/config-dist.php
@@ -355,7 +355,6 @@ $CFG->admin = 'admin';
 //
 //     $CFG->extramemorylimit = 1G;
 //
-//
 //=========================================================================
 // 8. SETTINGS FOR DEVELOPMENT SERVERS - not intended for production use!!!
 //=========================================================================