# HG changeset patch
# User andrew
# Date 1369243217 -3600
# Node ID 34d809e0dba382efe77bb5d47e90d1edd7f36427
# Parent  e81133df0e6859ff1efd7975363fe69328a237f5
Remove jcheck

diff -r e81133df0e68 -r 34d809e0dba3 .jcheck/conf
--- a/.jcheck/conf	Thu Apr 18 15:05:09 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-project=jdk7
-bugids=dup