diff --git a/IGNORE-KABI-BADNESS b/IGNORE-KABI-BADNESS deleted file mode 100644 index 7b2b1bde..00000000 --- a/IGNORE-KABI-BADNESS +++ /dev/null @@ -1 +0,0 @@ -ignore