Add scripts/find-banned.sh

This commit is contained in:
Johan Malm 2023-01-30 21:24:52 +00:00
parent 04ccedbc7e
commit a617df938d
4 changed files with 425 additions and 0 deletions

2
scripts/.gitignore vendored Normal file
View file

@ -0,0 +1,2 @@
*.o
find-banned