diff Changelog @ 36637:d339a982071d

m_option: remove code that has no effect.
author reimar
date Sat, 25 Jan 2014 16:55:05 +0000
parents 28ea255e40ce
children f41b65ac7e81
line wrap: on
line diff