Revision 4c7dd43913bfadef40dbbedd9a54ae45aac7f2b5

Committed on 15/03/2012 4:44 am by Florian Peter <[email protected]> [GitHub Diff]

Remove currently unused js in design.ini.append.php.

Share your information