From 5ac02357f368f8f17fd1ee5ef436ac8bd700f9b7 Mon Sep 17 00:00:00 2001
From: Erreur32 <erreur32@echosystem.fr>
Date: Thu, 10 May 2018 13:42:02 +0200
Subject: [PATCH] Delete 'docs/file'

---
 docs/file | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 docs/file

diff --git a/docs/file b/docs/file
deleted file mode 100644
index e092aeb..0000000
--- a/docs/file
+++ /dev/null
@@ -1 +0,0 @@
-a del
\ No newline at end of file