From 9236df08432a3d8633d232d3ac083b74e10d9b7d Mon Sep 17 00:00:00 2001 From: Dennis Schafroth Date: Wed, 16 May 2012 15:18:36 +0200 Subject: [PATCH 1/1] Remove unused. Add comment --- etc/server.xml | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/etc/server.xml b/etc/server.xml index 2a37cab..f2c404c 100644 --- a/etc/server.xml +++ b/etc/server.xml @@ -24,15 +24,13 @@ - - - + + [[:WhiteSpace:][,.-]]* } [$] > ; + - - [[:WhiteSpace:][,.-]]* } [$] > ; -- 1.7.10.4