diff options
author | Junio C Hamano <gitster@pobox.com> | 2012-04-23 12:41:15 -0700 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2012-04-23 12:41:15 -0700 |
commit | 2347982d1ad1a29fa93cd95eb51e5c74c689177e (patch) | |
tree | 3d8a043bc7366d72873cb59241bc2b7bc7d1b943 /remote-curl.c | |
parent | Merge branch 'rl/show-empty-prefix' (diff) | |
parent | var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings (diff) | |
download | tgif-2347982d1ad1a29fa93cd95eb51e5c74c689177e.tar.xz |
Merge branch 'jn/debian-customizes-default-editor'
Make it easier for distros to document custom pager and editor they
used when building their binary releases in "git var" documentation.
By Jonathan Nieder
* jn/debian-customizes-default-editor:
var doc: advertise current DEFAULT_PAGER and DEFAULT_EDITOR settings
var doc: default editor and pager are configurable at build time
Diffstat (limited to 'remote-curl.c')
0 files changed, 0 insertions, 0 deletions