diff auto/configure @ 3231:e7c1fdbe5e98

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