-
Eric Vidal authored
Provide a tree by default and handle it name at compilation time with the --with-default-tree-name flag
Eric Vidal authoredProvide a tree by default and handle it name at compilation time with the --with-default-tree-name flag