From 33c60b467b31320a06c55780b12709efc6d9c99d Mon Sep 17 00:00:00 2001 From: Michal Moskal Date: Tue, 12 Jul 2016 18:34:21 +0200 Subject: [PATCH] Add ignore file for ptrcheck --- ptrcheck-ignore | 13 +++++++++++++ 1 file changed, 13 insertions(+) create mode 100644 ptrcheck-ignore 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