From 3a1b58412499f66c087bd012eedd069e4311c25e 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.
---
 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>