remote-curl: rename shadowed options variable
authorJeff King <peff@peff.net>
Tue, 6 Dec 2016 18:24:38 +0000 (13:24 -0500)
committerJunio C Hamano <gitster@pobox.com>
Tue, 6 Dec 2016 20:32:48 +0000 (12:32 -0800)
commitfcaa6e6...b3f5eecde2b818385ec6f374f61ee7b2
treef4eb658...d94582107c94893e9c2566647c409069copy hash to clipboard (tree)
parent6628eb4...db5189c0cdfdced6d8697e7c813c5f0fcopy hash to clipboard (diff)
remote-curl.c