Richard van Velzen d5ecadd17b Move deprecated util.* calls to proper console.* calls ... Fixes #641 and #542.		2015-03-03 21:32:17 +01:00
..
uglifyjs	Move deprecated util.* calls to proper console.* calls	2015-03-03 21:32:17 +01:00