remove duplicate header from configuration

This commit is contained in:
Oliver Tappe 2013-05-28 18:10:33 +02:00
parent d0613f2026
commit ca289f92b0

View File

@ -367,7 +367,6 @@ extern union tree_node *i386_pe_merge_decl_attributes ();
{ "/boot/common/develop/headers", 0, 0, 0 },\
{ "/boot/common/include", 0, 0, 0 },\
/* TODO: To be removed. */\
{ "/boot/common/develop/headers", 0, 0, 0 },\
{ "/boot/system/develop/headers/os", 0, 0, 1 },\
{ "/boot/system/develop/headers/os/app", 0, 0, 1 },\
{ "/boot/system/develop/headers/os/device", 0, 0, 1 },\