Christoph Diehl b7fc059dbe [console.js] Use const instead of let		2017-05-02 17:17:36 +03:00
..
console.js	[console.js] Use const instead of let	2017-05-02 17:17:36 +03:00