# HG changeset patch
# User andrew
# Date 1369241823 -3600
# Node ID 42c0830072061cbed54df62d6510839ccd98babe
# Parent  ec2046261dd2c532365a0c2e16ba10fe99abdc89
Remove jcheck

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