diff options
| author | Gaëtan Gilbert | 2019-11-20 16:46:03 +0100 |
|---|---|---|
| committer | Gaëtan Gilbert | 2019-11-20 17:08:29 +0100 |
| commit | aa55f7b0bedec1ee5c416dbaa9b1478537b76e72 (patch) | |
| tree | 324f98b0fcd8dfa0a30557c2fcf53a48b894d1e0 /plugins | |
| parent | 1248aed77ee36778cd440c14c4550dc97f78520b (diff) | |
Combine similar arguments when printing Arguments command
"similar" means sharing a scope or implicit status.
Diffstat (limited to 'plugins')
0 files changed, 0 insertions, 0 deletions