diff debian/menu @ 23783:99a68d91cfef

Remove /usr/include from the list of places to check for headers, default system directories are covered by the empty include path.
author diego
date Tue, 17 Jul 2007 11:08:41 +0000
parents c9e946b14b44
children
line wrap: on
line diff