# HG changeset patch
# User andrew
# Date 1369241824 -3600
# Node ID 1257bb90b9c0cc24f7620727c22cb5c1f9f0c99e
# Parent  a8bd8eb5f503b299fb873fd62d7be04ef91378c7
Remove jcheck

diff -r a8bd8eb5f503 -r 1257bb90b9c0 .jcheck/conf
--- a/.jcheck/conf	Mon Apr 29 14:47:25 2013 +0100
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,2 +0,0 @@
-project=jdk7
-bugids=dup