3 years ago Neels Hofmeyr
cosmetic: indents in diff_main.h
3 years ago Stefan Sperling
move headers from include/diff/ to include/; makes things easier for consumers