diff m_option.h @ 29237:c4dc4cf9347b

Replace informal GPL license header by standard GPL header.
author diego
date Fri, 08 May 2009 21:47:50 +0000
parents af274aef6b81
children 0f1b5b68af32
line wrap: on
line diff