Force-include the page.xml in the update
authorAlexander Ebert <ebert@woltlab.com>
Wed, 21 Feb 2018 12:29:53 +0000 (13:29 +0100)
committerAlexander Ebert <ebert@woltlab.com>
Wed, 21 Feb 2018 12:29:53 +0000 (13:29 +0100)
commit543bfea7f8fe9661e6d807c0b65655f0f88be712
tree8e06fecf7cf47d3088d1736f0035cc07e746cbb6
parentc4e90992ac80b9989b82b5c064e74b4d5d3b3012
Force-include the page.xml in the update

(This is a rather dirty hack to force the instructions builder to
include this file.)
page.xml