Revision 4c7dd43913bfadef40dbbedd9a54ae45aac7f2b5

Committed on 15/03/2012 4:44 am by Florian Peter <florian.peter@gmx.at> [GitHub Diff]

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