From 29c4bcbf9a42dd2c7375f299878cd221ee52d519 Mon Sep 17 00:00:00 2001 From: Alexis Hildebrandt Date: Sat, 10 Jan 2015 14:03:51 +0100 Subject: [PATCH] Remove needless files [ci skip] --- doc/DEVELOP.md.new | 0 1 file changed, 0 insertions(+), 0 deletions(-) delete mode 100644 doc/DEVELOP.md.new diff --git a/doc/DEVELOP.md.new b/doc/DEVELOP.md.new deleted file mode 100644 index e69de29b..00000000