log core.js @ 902:4041e5abcde5

age author description
Mon, 08 Jun 2015 11:17:26 +0100 Nicholas Jillings Feature #1208: Added checkbox.
Mon, 08 Jun 2015 11:01:21 +0100 Nicholas Jillings Merge from the default branch