diff --git a/ptrcheck-ignore b/ptrcheck-ignore new file mode 100644 index 00000000..3fd6c12d --- /dev/null +++ b/ptrcheck-ignore @@ -0,0 +1,13 @@ +microbit +microbit-appx +microbit-beta +microbit-git-* +microbit-latest +microbit-logo-svg +microbit-portraitlogo-svg +microbit-splashscreen-svg +microbit-squarelogo-svg +microbit-test +microbit-theme-json +microbit-uploader-exe +microbit-uploader-zip