Keep order of children
In the final figure, the order of children of a node does not necessarily be as specified in the grammar.
Add an option to keep the order.
GitLab update scheduled for Friday, March 31st between 08:15 and 08:45 CEST. If unpleasant, please contact René or Martin.
In the final figure, the order of children of a node does not necessarily be as specified in the grammar.
Add an option to keep the order.