diff m_option.h @ 19199:ff3ed01e9043

fix wrong and unrelated change done in r19199
author reynaldo
date Thu, 27 Jul 2006 18:35:40 +0000
parents 75327b24e06f
children 02a18c52a42a
line wrap: on
line diff