log core.js @ 937:b5262d076f0b

age author description
Sun, 17 May 2015 18:40:56 +0100 Brecht De Man Merge 'default' and 'Dev_main' branch