diff -Naur simias_orig/src/server/Simias.config.in simias/src/server/Simias.config.in --- simias_orig/src/server/Simias.config.in 2007-10-16 16:19:39.000000000 +0200 +++ simias/src/server/Simias.config.in 2007-10-30 01:10:50.068278089 +0100 @@ -6,7 +6,9 @@
- + + +