log core.js @ 1049:a37ab38cf90b

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.