diff docs/GNUmakefile @ 3231:e7c1fdbe5e98

fix r3211
author Igor Sysoev <igor@sysoev.ru>
date Mon, 26 Oct 2009 12:00:37 +0000
parents 520cb18b64fb
children 3ce6b8cedcb9 3e706fcccbf3
line wrap: on
line diff