diff LICENSE @ 36637:d339a982071d

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