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