log core.js @ 249:4f1016c535c8

age author description
Wed, 01 Jul 2015 10:15:06 +0100 Nicholas Jillings Bug fix #1315: Comment boxes now paste informaton back into the console.
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