3 years ago Stefan Sperling
move headers from include/diff/ to include/; makes things easier for consumers