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)

No differences found