diff m_option.h @ 33348:62ab329812c9

Avoid warnings about discarding volatile. In practice this should not really make a difference, but the code is not significantly worse and it is more correct.
author reimar
date Sat, 07 May 2011 21:28:56 +0000
parents 92b92a78ca2a
children 08a90b0e44e1
line wrap: on
line diff