diff auto/options @ 3231:e7c1fdbe5e98

fix r3211
author Igor Sysoev <igor@sysoev.ru>
date Mon, 26 Oct 2009 12:00:37 +0000
parents 6060225e9261
children e6967a1dc8e9
line wrap: on
line diff