# HG changeset patch
# User andrew
# Date 1520402758 0
# Node ID 72328caebb019104dc359c415a05d7c0618e8ea0
# Parent  c7dc519c186a8e80f6ecafad6efe4aae4a43d61b
Remove jcheck

diff -r c7dc519c186a -r 72328caebb01 .jcheck/conf
--- a/.jcheck/conf	Wed Mar 07 05:29:46 2018 +0000
+++ /dev/null	Thu Jan 01 00:00:00 1970 +0000
@@ -1,1 +0,0 @@
-project=jdk8