Revision b391f1ba71ddf71ac243677d6dbc886c7e10b85e

Committed on 14/04/2016 2:59 am by Björn Dieding <[email protected]> [GitHub Diff]

Update design.ini.append.php

Avoid warning.