diff options
author | 2019-09-21 13:24:21 +1000 | |
---|---|---|
committer | 2019-09-21 13:24:21 +1000 | |
commit | ced9e637df9c13cd52707e4d4b2141b1d0af7862 (patch) | |
tree | e9e653a02ebf21efa3b0e20344ddbd6251741e07 /.gitignore | |
parent | Add some bad stuff for lint test to pick up. (diff) |
Gut CI to only lint.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions