log core.js @ 211:5d251b4aabd6 Dev_main

age author description
Tue, 16 Jun 2015 14:38:47 +0100 Nicholas Jillings Fix for Bug #1280 Dev_main
Tue, 16 Jun 2015 14:14:08 +0100 Nicholas Jillings Merge from the default branch Dev_main