Merge pull request #875 from Gravatronics/enhancement/javaScriptIcons
authorAlexander Ebert <ebert@woltlab.com>
Wed, 31 Oct 2012 10:39:46 +0000 (03:39 -0700)
committerAlexander Ebert <ebert@woltlab.com>
Wed, 31 Oct 2012 10:39:46 +0000 (03:39 -0700)
Improves icons in JavaScript environment


Trivial merge