comparison 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
comparison
equal deleted inserted replaced
3230:a7491af45540 3231:e7c1fdbe5e98