diff docs/GNUmakefile @ 1209:c6c33f81fd79

use stable search where it is required
author Igor Sysoev <igor@sysoev.ru>
date Mon, 21 May 2007 14:09:12 +0000
parents a452a0e13539
children 520cb18b64fb
line wrap: on
line diff