diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-12-10 19:01:53 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-12-10 19:01:53 -0800 |
commit | 42b03394eb80db5183d2eb8c2c22b587cd85794e (patch) | |
tree | d5165021be34bcfe6d75a844b751cc0b9dfc430d /tools/shared.py | |
parent | 6c80e7593c5944c7380c74d5de1831ff445d8cb0 (diff) |
warni when ignoring libs
Diffstat (limited to 'tools/shared.py')
0 files changed, 0 insertions, 0 deletions