# HG changeset patch # User Da Risk # Date 1260921282 -3600 # Node ID 67d1680588db41ad59c832b4a7c9b3c89e25759e # Parent 9c08b0277c58ace0cbe386890b177ae808822494 fix error in checkstyle.xml diff -r 9c08b0277c58 -r 67d1680588db tools/checkstyle.xml --- a/tools/checkstyle.xml Tue Dec 15 21:12:51 2009 +0100 +++ b/tools/checkstyle.xml Wed Dec 16 00:54:42 2009 +0100 @@ -87,7 +87,7 @@ - +