diff options
| author | Hein-Pieter van Braam <hp@tmm.cx> | 2017-09-23 15:32:41 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-09-23 15:32:41 +0200 |
| commit | 650e0cf3186df2239cbcb6c178533a09732f3f02 (patch) | |
| tree | 5fb65bab521ff2b68d07956f2d54e7beacaa3986 /doc/classes | |
| parent | f1ccbbe44afd4b21c0554084eb0d0e7dc792cedf (diff) | |
| parent | f0f9ebf43cf0095d9e7217da731ebf5a8a694949 (diff) | |
Merge pull request #11500 from djrm/pr_visuals
Use an arrow instead of 3 dots in trees
Diffstat (limited to 'doc/classes')
0 files changed, 0 insertions, 0 deletions