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.