made diff_repos stream output instead of pager
authorChris Koeritz <koeritz@gmail.com>
Fri, 14 Jun 2019 15:12:06 +0000 (11:12 -0400)
committerChris Koeritz <koeritz@gmail.com>
Fri, 14 Jun 2019 15:12:06 +0000 (11:12 -0400)
commit0aaba69e74a29c32d616a7b6e8e67659e6566d86
treefa9050b3ccd39a12ced4bb690b28f2c224d34925
parent57083b6e976b4a3139bfe0e712543e2ec6394f69
made diff_repos stream output instead of pager
scripts/rev_control/version_control.sh