projects / exim.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e236f91) | patch
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)
commitab13201f8a5517a379c461767f16feafa8e01ffb
tree7743a8ecbae369ecc4d89fdc1fa977f2d812e29dtree | snapshot (zip tar.gz)
parente236f915d39e27c89ac6e9ef8dd6bdf38f164a6bcommit | diff
exigrep: use a pager if stdout is connected to a terminal
src/src/exigrep.src diff | blob | blame | history
Unnamed repository; edit this file 'description' to name the repository.