diff options
author | Rémi Verschelde <remi@verschelde.fr> | 2016-06-04 15:58:07 +0200 |
---|---|---|
committer | Rémi Verschelde <remi@verschelde.fr> | 2016-06-04 15:58:07 +0200 |
commit | 992a76b41a59de8aad28cf6bce918e7d17970e4e (patch) | |
tree | be9031294f28a5d1dcc8aba538211b7ba5fe694f /tools/scripts/makeargs.py | |
parent | 0e122566d0dcb1e24ae8347ce4e03121df6478c1 (diff) | |
parent | bf22e698229797284c3145c2750533c2eb4046cc (diff) |
Merge pull request #5023 from volzhs/deselect-help
deselect in help when click somewhere
Diffstat (limited to 'tools/scripts/makeargs.py')
0 files changed, 0 insertions, 0 deletions