Andrew's git / gitweb.git / diff
?
Merge branch 'jc/makefile-redirection-stderr'
authorJunio C Hamano <gitster@pobox.com>
Wed, 13 Apr 2016 21:12:37 +0000 (14:12 -0700)
committerJunio C Hamano <gitster@pobox.com>
Wed, 13 Apr 2016 21:12:38 +0000 (14:12 -0700)
A minor fix in the Makefile.

* jc/makefile-redirection-stderr:
Makefile: fix misdirected redirections

1  2 
Makefile patch | diff1 | diff2 | blob | history
diff --cc Makefile
Simple merge