Revision b391f1ba71ddf71ac243677d6dbc886c7e10b85e

Committed on 14/04/2016 2:59 am by Björn Dieding <xrow@users.noreply.github.com> [GitHub Diff]

Update design.ini.append.php

Avoid warning.