summaryrefslogtreecommitdiff
path: root/tools/scripts/makeargs.py
diff options
context:
space:
mode:
authorRémi Verschelde <remi@verschelde.fr>2016-06-04 15:58:07 +0200
committerRémi Verschelde <remi@verschelde.fr>2016-06-04 15:58:07 +0200
commit992a76b41a59de8aad28cf6bce918e7d17970e4e (patch)
treebe9031294f28a5d1dcc8aba538211b7ba5fe694f /tools/scripts/makeargs.py
parent0e122566d0dcb1e24ae8347ce4e03121df6478c1 (diff)
parentbf22e698229797284c3145c2750533c2eb4046cc (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