diff options
| author | Junio C Hamano <gitster@pobox.com> | 2013-12-05 14:03:32 -0800 |
|---|---|---|
| committer | Junio C Hamano <gitster@pobox.com> | 2013-12-05 14:03:32 -0800 |
| commit | b00d2440f742fc554a4efda0a9e275452c5cb260 (patch) | |
| tree | 62a45d41c1ab5936d1305be2fbf2a7d493ffff80 /gitweb/static/js/lib/common-lib.js | |
| parent | Merge branch 'jn/mediawiki-makefile-updates' (diff) | |
| parent | push: enhance unspecified push default warning (diff) | |
| download | git-b00d2440f742fc554a4efda0a9e275452c5cb260.tar.gz git-b00d2440f742fc554a4efda0a9e275452c5cb260.zip | |
Merge branch 'gj/push-more-verbose-advice' (early part)
* 'gj/push-more-verbose-advice' (early part):
push: enhance unspecified push default warning
Diffstat (limited to 'gitweb/static/js/lib/common-lib.js')
0 files changed, 0 insertions, 0 deletions