diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2020-04-13 18:55:19 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-04-13 18:55:19 -0400 |
| commit | bf971be15bf8787f992f03bb5943e3ee32c1583a (patch) | |
| tree | dd034440354a85920822984848b4cc5e4fc0aac0 /.gitignore | |
| parent | 02d815f3f4ece48bab1ba0aa8c650459a4698930 (diff) | |
| parent | d164fc6f6255ecbfc9c120f52af7983e46ed4c51 (diff) | |
Merge pull request #444 from toasted-nutbread/unused-globals
Check for unused globals as part of CI
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions