From: gmungoc Date: Mon, 12 Sep 2016 08:12:09 +0000 (+0100) Subject: Merge branch 'develop' of https://source.jalview.org/git/jalview.git into develop X-Git-Tag: Release_2_10_0~45^2~3 X-Git-Url: http://source.jalview.org/gitweb/?p=jalview.git;a=commitdiff_plain;h=2f0ce1f46c5bb22e1db18c27e68b09516958c84d;hp=4687a9d3adb02abca831fbb119a54153bc2a19ca Merge branch 'develop' of https://source.jalview.org/git/jalview.git into develop --- diff --git a/utils/checkstyle/checkstyle.xml b/utils/checkstyle/checkstyle.xml index 8a5f14f..85ac8e6 100644 --- a/utils/checkstyle/checkstyle.xml +++ b/utils/checkstyle/checkstyle.xml @@ -594,7 +594,13 @@ Check for TODO and similar comments --> - + + + + + + +