Use trim() to strip whitespace from the end of header fields
[mmh] / docs / DIFFERENCES_nmh_MH
2012-03-22 markus schnalkeMoved and renamed some documentation files.