exigrep: use a pager if stdout is connected to a terminal
authorHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Sun, 19 Mar 2017 00:12:38 +0000 (01:12 +0100)
committerHeiko Schlittermann (HS12-RIPE) <hs@schlittermann.de>
Sun, 19 Mar 2017 00:13:09 +0000 (01:13 +0100)

No differences found