Makefile: help gettext tools to cope with our custom PRItime format
authorJunio C Hamano <gitster@pobox.com>
Thu, 20 Jul 2017 18:57:01 +0000 (11:57 -0700)
committerJunio C Hamano <gitster@pobox.com>
Thu, 20 Jul 2017 19:21:18 +0000 (12:21 -0700)
commitfc0fd5b...3bc84c517eff409b7cbc78cc2473a071
tree1039db6...d8ec9550a3c65f24061784794ca1ce72copy hash to clipboard (tree)
parentcac25fc...30fc26050dcbc92c4bfff169a4848e93copy hash to clipboard (diff)
Makefile