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 /ext/bg/legal.html | |
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 'ext/bg/legal.html')
0 files changed, 0 insertions, 0 deletions