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