From 08d4914a8bf7138d8f06c5c7ed7ecc3af054054b Mon Sep 17 00:00:00 2001 From: Tobias Date: Fri, 22 Dec 2017 10:20:18 +0100 Subject: [PATCH] Delete docs.txt --- docs/docs.txt | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docs/docs.txt diff --git a/docs/docs.txt b/docs/docs.txt deleted file mode 100644 index 8b13789..0000000 --- a/docs/docs.txt +++ /dev/null @@ -1 +0,0 @@ -