diff options
| author | Mark Lobodzinski <mark@lunarg.com> | 2016-12-05 07:38:58 -0700 |
|---|---|---|
| committer | Mark Lobodzinski <mark@lunarg.com> | 2016-12-07 14:18:32 -0700 |
| commit | f4484860040eb82ca0f4c8933457eaa73bbe7433 (patch) | |
| tree | a061627b230f8b1524a5bf9213adc223a8d0031f /scripts/dispatch_table_generator.py | |
| parent | f5f645604d980072b3810281d07320942578b991 (diff) | |
| download | usermoji-f4484860040eb82ca0f4c8933457eaa73bbe7433.tar.xz | |
scripts: Remove no_addr options from vk_helper.py
This option was not used in any repo.
Change-Id: I133a1aaf34bd3e1a842150fc06f795eef8d1e606
Diffstat (limited to 'scripts/dispatch_table_generator.py')
0 files changed, 0 insertions, 0 deletions