diff options
| author | Bert Belder <bertbelder@gmail.com> | 2018-09-21 23:50:28 -0700 |
|---|---|---|
| committer | Bert Belder <bertbelder@gmail.com> | 2018-09-22 01:31:49 -0700 |
| commit | 82ca6538b11b63ada3a697629cc5fe8c152885e6 (patch) | |
| tree | 80bbe261f45f1087c004157787da1cf5a24dd6f7 /tools/util.py | |
| parent | 3747ec57e097e1addfeb9c38da846b1ca7cbeb05 (diff) | |
travis: clean up & tweaks
Diffstat (limited to 'tools/util.py')
0 files changed, 0 insertions, 0 deletions