diff options
author | Ryan Dahl <ry@tinyclouds.org> | 2018-07-24 13:42:23 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2018-07-24 13:42:23 -0400 |
commit | 0875411267d62a0fdcaf762657f19082b440fe36 (patch) | |
tree | b9c7e51afd0b93a0eca328b6452bf7c328da95b7 /tools/util.py | |
parent | 0213053856148379992212b189390f222c6cb460 (diff) |
Add tools/build.py (#398)
To allow better tab completion for ./tools/build.py
mv build_third_party.py sync_third_party.py
Diffstat (limited to 'tools/util.py')
0 files changed, 0 insertions, 0 deletions