diff options
| author | Jeff King <peff@peff.net> | 2012-06-20 14:31:42 -0400 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-07-09 07:57:29 -0700 |
| commit | 47eb28ec0cdb372f4354800e2e0ec713ad4c1992 (patch) | |
| tree | 1e76954a9a05b99c6e9408340ac38b1ddcd04b6d /.gitignore | |
| parent | c0219dd5d8cd11ea7a112081efd1db59d0bec105 (diff) | |
| download | git-47eb28ec0cdb372f4354800e2e0ec713ad4c1992.tar.gz | |
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>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions