diff options
author | Junio C Hamano <gitster@pobox.com> | 2017-01-31 13:32:04 -0800 |
---|---|---|
committer | Junio C Hamano <gitster@pobox.com> | 2017-01-31 13:32:04 -0800 |
commit | fccb41391f6fd00b7facf2983ff5db94d1780de7 (patch) | |
tree | c5f56db45b12980407cd69838868057b8fde6b36 /mergetools/winmerge | |
parent | 424b07a17a900ce7a8411f524380de79cf3c4e38 (diff) | |
parent | 046e4c1c09aa4fa9865b1fd755aa99d8617465d2 (diff) | |
download | git-fccb41391f6fd00b7facf2983ff5db94d1780de7.tar.gz git-fccb41391f6fd00b7facf2983ff5db94d1780de7.tar.xz |
Merge branch 'jk/make-tags-find-sources-tweak' into maint
Update the procedure to generate "tags" for developer support.
* jk/make-tags-find-sources-tweak:
Makefile: exclude contrib from FIND_SOURCE_FILES
Makefile: match shell scripts in FIND_SOURCE_FILES
Makefile: exclude test cruft from FIND_SOURCE_FILES
Makefile: reformat FIND_SOURCE_FILES
Diffstat (limited to 'mergetools/winmerge')
0 files changed, 0 insertions, 0 deletions