changeset 71:47da88113101

Merge
author andrew
date Fri, 31 May 2013 15:10:31 +0100
parents 78f6b0c6c574 287ef274eb0b
children 8cbaca32d6a5
files
diffstat 1 files changed, 1 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/.jcheck/conf	Fri May 31 10:59:39 2013 +0100
+++ b/.jcheck/conf	Fri May 31 15:10:31 2013 +0100
@@ -1,3 +1,3 @@
 project=jdk6
 whitespace=lax
-bugids=lax
+bugids=ignore