diff options
author | Gianni Ceccarelli <gianni.ceccarelli@broadbean.com> | 2020-07-06 16:00:43 +0100 |
---|---|---|
committer | Gianni Ceccarelli <gianni.ceccarelli@broadbean.com> | 2020-07-06 16:00:43 +0100 |
commit | aec5e16365a2b0e6fff384fa3cabb0de5c19125c (patch) | |
tree | ba3f265dfd2421760da2462500ac8523427bba1e /git-prompt.sh | |
parent | safer `@ARGV` placement (diff) | |
download | git-prompt-aec5e16365a2b0e6fff384fa3cabb0de5c19125c.tar.gz git-prompt-aec5e16365a2b0e6fff384fa3cabb0de5c19125c.tar.bz2 git-prompt-aec5e16365a2b0e6fff384fa3cabb0de5c19125c.zip |
honour `$PAGER`
Diffstat (limited to 'git-prompt.sh')
0 files changed, 0 insertions, 0 deletions