From 50d246bbbaaed120d478f291cff5e2c3c3571de5 Mon Sep 17 00:00:00 2001 From: Thomas Cort 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 | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/minix/commands/mined/mined.h b/minix/commands/mined/mined.h index fad5acfeb..d0804baa5 100644 --- a/minix/commands/mined/mined.h +++ b/minix/commands/mined/mined.h @@ -2,7 +2,7 @@ * Mined.h * *========================================================================*/ -#include + #include #include #include -- 2.44.0