log core.js @ 248:3bda6ed7cc6a

age author description
Mon, 29 Jun 2015 19:04:40 +0100 Brecht De Man Merge
Sun, 28 Jun 2015 09:52:47 +0100 Nicholas Jillings Small addition to #1238: Filename included. Dev_main