Thomas Cort 50d246bbba mined.h: remove minix/config.h include.
Nothing defined there is used by mined.

Change-Id: I38b692be1313aaed316eebd7caf8e879178d90dc
2015-03-24 14:02:41 +01:00
..
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00
2015-03-18 07:49:44 +01:00
2014-08-29 12:56:57 -04:00
2015-03-19 10:00:56 +01:00
2014-12-04 12:10:46 +00:00
2014-07-31 16:00:30 +02:00
2014-07-31 16:00:30 +02:00
2014-12-03 23:40:56 +01:00
2014-08-28 18:49:19 +02:00
2014-07-31 16:00:30 +02:00