Skip to content
Snippets Groups Projects

gen_tree: add comment explaining intended usage

Passed
Ralf Jung created pipeline for commit b38cea43
, finished
Related merge request !587 to merge ralf/gen-tree
2 minutes 45 seconds, queued for 1 seconds