diff options
| author | Felipe Contreras <felipe.contreras@gmail.com> | 2012-02-23 00:43:38 +0200 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2012-02-22 15:58:10 -0800 |
| commit | b1d8b1f3f17c7550beeff267356bab89e10c6381 (patch) | |
| tree | e99adcffb23b7fa7389f93f2b696878d3c0e0353 /git-gui/lib/win32_shortcut.js | |
| parent | b0d66b5110faaeb395610ba43b6eb70a18ab5e25 (diff) | |
remote: use a local variable in match_push_refs()
So that we can reuse src later on. No functional changes.
Will be useful in next patches.
Signed-off-by: Felipe Contreras <felipe.contreras@gmail.com>
Signed-off-by: Junio C Hamano <gitster@pobox.com>
Diffstat (limited to 'git-gui/lib/win32_shortcut.js')
0 files changed, 0 insertions, 0 deletions