| commit | 81a9a863050cbb33cb217c64e9a8dfdfd5179faf | [log] [tgz] |
|---|---|---|
| author | Eric Newberry <enewberry@email.arizona.edu> | Tue Dec 27 22:59:27 2016 -0700 |
| committer | Eric Newberry <enewberry@email.arizona.edu> | Wed Dec 28 22:52:35 2016 -0700 |
| tree | b58b04458961c18f25542a73c966cc9d6c438ed8 | |
| parent | 7f566dd0e509dae80c6ff3d94a011b7339dd18c8 [diff] [blame] |
ci: speed up code-coverage jobs some documentation updates refs #3809 Change-Id: I0c837a3b8f0f5e5e15d20ba41418bf17660fffb5
diff --git a/docs/conf.py b/docs/conf.py index 2f81985..0dc99d2 100644 --- a/docs/conf.py +++ b/docs/conf.py
@@ -270,4 +270,4 @@ googleanalytics_id = os.environ['GOOGLE_ANALYTICS'] googleanalytics_enabled = True -redmine_project_url = "http://redmine.named-data.net/" +redmine_project_url = "https://redmine.named-data.net/"