diff m_option.h @ 13096:c6c1dc9d0550

small fixes
author diego
date Sun, 22 Aug 2004 21:47:22 +0000
parents 3ccd5dcf447c
children 474a40917f73
line wrap: on
line diff