made diff_repos stream output instead of pager
[feisty_meow.git] / documentation / headers /
2016-12-12 Chris Koeritztasty renamings