projects / git.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c0219dd) | patch
Makefile: do not replace @@GIT_USER_AGENT@@ in scripts
authorJeff King <peff@peff.net>
Wed, 20 Jun 2012 18:31:42 +0000 (14:31 -0400)
committerJunio C Hamano <gitster@pobox.com>
Mon, 9 Jul 2012 14:57:29 +0000 (07:57 -0700)
commit47eb28ec0cdb372f4354800e2e0ec713ad4c1992
tree1e76954a9a05b99c6e9408340ac38b1ddcd04b6dtree | snapshot
parentc0219dd5d8cd11ea7a112081efd1db59d0bec105commit | diff
Makefile: do not replace @@GIT_USER_AGENT@@ in scripts

No scripts actually care about this replacement. This was
erroneously added by 42dcbb7 (version: add git_user_agent function,
2012-06-02).

Signed-off-by: Jeff King <peff@peff.net>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Makefile diff | blob | history
Git—the stupid content tracker