diff m_option.h @ 32716:72dfebf10aff

cosmetics: Move header_check helper function.
author diego
date Thu, 20 Jan 2011 11:21:34 +0000
parents 92b92a78ca2a
children 08a90b0e44e1
line wrap: on
line diff