diff options
| author | hallgren <hallgren@chalmers.se> | 2013-12-06 13:45:12 +0000 |
|---|---|---|
| committer | hallgren <hallgren@chalmers.se> | 2013-12-06 13:45:12 +0000 |
| commit | d6974a406523335a6244e81902db46d21a22fde1 (patch) | |
| tree | ef5471254fc04abc7def5a6ee239a5c2e5ccfbec /build-binary-dist.sh | |
| parent | 05854280181f5ad30939a4fc533d42560103d23f (diff) | |
GF shell: fix help text for generate_trees
Trees are not generated with increasing depth.
Diffstat (limited to 'build-binary-dist.sh')
0 files changed, 0 insertions, 0 deletions