diff configure @ 36637:d339a982071d

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