diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2012-06-11 10:32:42 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2012-06-11 10:32:42 -0700 |
| commit | 41a99b287182ea2870d51665c224ef6c315132ab (patch) | |
| tree | ac0b8013875e82ab07ddbe58716a3f6098346b3b /tools/shared.py | |
| parent | 9d720befae4ae24ad49b1c814ab947dd090a0b32 (diff) | |
remove GENERATING_HTML, it was confusing and gave little or no benefit
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions