diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2013-03-12 18:31:31 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2013-03-12 18:31:31 -0700 |
| commit | 645fcab6d33a86749d9f88667ed2cb712ef5e1c9 (patch) | |
| tree | ca2786e89cd29895d0b71aaab4a60ecf0e12f168 /tools/shared.py | |
| parent | be239eec25922e45c66c3f8811e1d8f4b770c5c4 (diff) | |
| parent | b7fd3b22de345f458f2656198520764e7e495e3d (diff) | |
Merge pull request #942 from waywardmonkeys/fix-typeof-decls
Use less generic names for variables.
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions