diff m_option.h @ 23332:0471ad67050e

Remove unused code, if it is ever needed it can be recovered from history
author reimar
date Sun, 20 May 2007 08:15:27 +0000
parents cca9ff25bed2
children 3f0d00abc073
line wrap: on
line diff