diff NEWS @ 302:2ffcd38ccf53

improved unused function header_fold()
author markus schnalke <meillo@marmaro.de>
date Thu, 09 Dec 2010 17:50:25 -0300
parents 95d536599fd7
children a4d8f20a992f
line wrap: on
line diff