gustafn
committed
on 26 May 11
- make include_header_info more flexible
- bump version number to 0.139