diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-01-01 21:00:34 -0800 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-01 21:00:34 -0800 |
| commit | a914110dac09b399d2022440f441a0847b7f745d (patch) | |
| tree | 5b94419002fad3ca288e6cf7c7a72a47cf89b568 /tools/shared.py | |
| parent | b724d8ba0b0d5c6c5950d9b0e4ae28e29d279e57 (diff) | |
remove __label__ settings in hoisted blocks and if we are sure the label setting is unimportant because the next code after us is not a check for the label
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions