diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-09-09 10:18:06 -0700 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-09-09 10:18:06 -0700 |
commit | 16d08db683538b82efcde288db7ec2224fdfd1cd (patch) | |
tree | d06a57b65a1a662b41e5e6b4c93be1aef867d595 /tools/shared.py | |
parent | a7ed12182550b4aa2526f815248cc1951ee10bf6 (diff) |
clean up handling of initial run
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions