Merge branch 'js/difftool-no-index'
authorJunio C Hamano <gitster@pobox.com>
Thu, 25 Apr 2019 07:41:14 +0000 (16:41 +0900)
committerJunio C Hamano <gitster@pobox.com>
Thu, 25 Apr 2019 07:41:14 +0000 (16:41 +0900)
commitb72e90712eb0e802b232ad4c88460d04279c7111
treefa942ba292b5e3dd1091c526700a7d801ef40358
parentd2dba18ced8e4939a3cd135998c54874ce73adc1
parent20de316e33446f37200e51aa333ba7d824dfd478
Merge branch 'js/difftool-no-index'

"git difftool" can now run outside a repository.

* js/difftool-no-index:
  difftool: allow running outside Git worktrees with --no-index
  parse-options: make OPT_ARGUMENT() more useful
  difftool: remove obsolete (and misleading) comment
git.c
parse-options.c
parse-options.h