Merge branch 'jk/pager-in-use'
authorJunio C Hamano <gitster@pobox.com>
Tue, 28 Mar 2017 21:05:58 +0000 (14:05 -0700)
committerJunio C Hamano <gitster@pobox.com>
Tue, 28 Mar 2017 21:05:59 +0000 (14:05 -0700)
Code clean-up.

* jk/pager-in-use:
pager_in_use: use git_env_bool()

1  2 
pager.c
diff --cc pager.c
Simple merge