diff .hgtags @ 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 2f0bd8be0a35
children f476f6da94ef
line wrap: on
line diff