diff auto/os/linux @ 3561:20708cffd6dc

use local headers_names array instead of stored in configuration and allocate its elements from temporary pool
author Igor Sysoev <igor@sysoev.ru>
date Thu, 03 Jun 2010 14:50:59 +0000
parents 7c80f584c3a9
children 4068898a6a7c
line wrap: on
line diff