log

age author description
Wed, 26 Mar 2014 22:17:31 +0100 Doug Simon fixed incorrect uses of Debug.log API
Wed, 26 Mar 2014 21:10:24 +0100 Doug Simon added checkheaders to the gate
Wed, 26 Mar 2014 21:08:00 +0100 Doug Simon added checkheaders command for checking Java source headers without relying on Checkstyle