diff --git a/dummy-commit.txt b/dummy-commit.txt deleted file mode 100644 index 39b0928f91..0000000000 --- a/dummy-commit.txt +++ /dev/null @@ -1 +0,0 @@ -Change this if you need a dummy commit. Push build.