log core.js @ 1048:7a8fcf04aad3

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.