diff options
| author | xmo-odoo <xmo-odoo@users.noreply.github.com> | 2014-05-16 11:32:09 +0200 |
|---|---|---|
| committer | xmo-odoo <xmo-odoo@users.noreply.github.com> | 2014-05-16 11:32:09 +0200 |
| commit | b246e46d88389bb931b85b210ea715fae3d547a6 (patch) | |
| tree | 329f0ff21b73f8509e8494869635dac803738c9b /doc/_themes/sphinx_bootstrap_theme/bootstrap/static/bootstrap-sphinx.js_t | |
| parent | 601cd0cf511e4048a9ddb1b4227d073966b2da75 (diff) | |
Fix URL to checkout script
raw.github.com redirects to raw.githubusercontent.com but curl does not follow
redirections by default, so use the correct URL
Diffstat (limited to 'doc/_themes/sphinx_bootstrap_theme/bootstrap/static/bootstrap-sphinx.js_t')
0 files changed, 0 insertions, 0 deletions