From 6c8a655629343c99949cb8842c4414bfad4e2f71 Mon Sep 17 00:00:00 2001
From: Thomas Cort <tcort@minix3.org>
Date: Sun, 22 Mar 2015 16:07:45 -0400
Subject: [PATCH] mined.h: remove minix/config.h include.

Nothing defined there is used by mined.

Change-Id: I38b692be1313aaed316eebd7caf8e879178d90dc
---
 minix/commands/mined/mined.h | 1 -
 1 file changed, 1 deletion(-)

diff --git a/minix/commands/mined/mined.h b/minix/commands/mined/mined.h
index fad5acfeb..e5031423a 100644
--- a/minix/commands/mined/mined.h
+++ b/minix/commands/mined/mined.h
@@ -2,7 +2,6 @@
  *				Mined.h					  *
  *========================================================================*/
 
-#include <minix/config.h>
 #include <sys/types.h>
 #include <fcntl.h>
 #include <stdlib.h>