diff --git a/ceds_test.txt b/ceds_test.txt deleted file mode 100644 index 46052ba..0000000 --- a/ceds_test.txt +++ /dev/null @@ -1 +0,0 @@ -Checking that pushing to the remote repo still works... -- libgit2 0.21.2