diff options
| author | Jordi Yeh <yehj10@hhmi.org> | 2014-04-16 09:19:55 -0400 |
|---|---|---|
| committer | Baptiste Mispelon <bmispelon@gmail.com> | 2014-04-16 09:40:32 -0400 |
| commit | ec2d456df8a56a3000b991adcd5ce3aede974492 (patch) | |
| tree | bba6a46e3a7441f990fabde79e89470fa78ff45d /docs/_theme | |
| parent | cbc80eef6dea315a056f46d02fb129b068867024 (diff) | |
[1.5.x] Fixed #22457 -- Fixed contributing guide w/o github set-up
The published commnand was not working when the user did not have
the git client set-up with the public-key. Changed the contributing
guide to clone it from https instead.
Backport of 28102991172ab931d030412275f926c1b05c688d from master
Diffstat (limited to 'docs/_theme')
0 files changed, 0 insertions, 0 deletions