diff --git a/empty.txt b/empty.txt deleted file mode 100644 index effac6a12ca..00000000000 --- a/empty.txt +++ /dev/null @@ -1 +0,0 @@ -This is just a non-sense file to make an example PR