log js/core.js @ 2413:d44b5e04acbc

age author description
Fri, 27 May 2016 10:39:35 +0100 Nicholas Jillings Merge branch 'master' into Dev_main