tree 545c670da80a8052c6f7ffb78aad24db4411d613
parent 6fb4c0411b178985ed517af073359cb937731dc8
author Michal Vasko <mvasko@cesnet.cz> 1606237890 +0100
committer Radek Krejci <rkrejci@cesnet.cz> 1606371363 +0100

schema tree FEATURE allow changing enabled features

At the cost of recompiling the whole context.