diff m_option.h @ 14234:b085c4d81b4b

small improvements
author diego
date Fri, 24 Dec 2004 11:40:55 +0000
parents 3ccd5dcf447c
children 474a40917f73
line wrap: on
line diff