diff auto/options @ 405:2f3f9dbf84d0

Merge with current.
author Maxim Dounin <mdounin@mdounin.ru>
date Tue, 19 Aug 2008 12:41:52 +0400
parents 349057ecf4d5
children 79c5df00501e
line wrap: on
line diff