diff m_option.h @ 11444:d6ef9000aed5

  removed for added consistency, we do not use them anywhere else.
author diego
date Wed, 12 Nov 2003 11:03:43 +0000
parents 522afd56703c
children 3ccd5dcf447c
line wrap: on
line diff