From 9af0936673223a38067c32d7b4e63a5c77ebe8c8 Mon Sep 17 00:00:00 2001
From: Ilya Bizyaev <bizyaev.game@yandex.ru>
Date: Mon, 1 Jun 2015 20:55:04 +0300
Subject: [PATCH] Delete dummy

This file seems to be obsolete and not required any more.
---
 lib/dummy | 1 -
 1 file changed, 1 deletion(-)
 delete mode 100644 lib/dummy

diff --git a/lib/dummy b/lib/dummy
deleted file mode 100644
index bfdf726d49..0000000000
--- a/lib/dummy
+++ /dev/null
@@ -1 +0,0 @@
-I'm just here to force the creation of a LIB directory.