diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2014-01-21 13:04:56 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2014-01-21 13:04:56 -0800 |
| commit | cbb0b5920855b0d5353966cb2f87f797a37060e5 (patch) | |
| tree | ea5bfd3d6b754e2aa5b226e2b6c8b2c39443316f /tools/shared.py | |
| parent | 19a38d059bd6da1402edd3dc13c8485025059fa7 (diff) | |
| parent | 7a8c26b65f906de5f7490311e89eb6d5bf722211 (diff) | |
Merge pull request #2039 from rfk/rfk/minify-loop-labels
Minify loop labels while we're minifying local names.
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions