diff -r af21f0bdc7c9 -r 2b9c78543663 tool/CommandDebug.cpp
--- a/tool/CommandDebug.cpp	Thu Sep 06 14:21:02 2012 +0200
+++ b/tool/CommandDebug.cpp	Mon Nov 03 15:20:05 2014 +0100
@@ -73,7 +73,7 @@
 	MasterIndexList masterIndices;
     stringstream str;
     int debugLevel;
-    
+
     if (args.size() != 1) {
         stringstream err;
         err << "'" << getName() << "' takes exactly one argument!";