diff configure @ 302:2ffcd38ccf53

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