| commit | 0530b5bf86438eb98e4a6931f033800b4adabf56 | [log] [tgz] |
|---|---|---|
| author | Davide Pesavento <davide.pesavento@lip6.fr> | Mon Nov 07 03:23:58 2016 +0100 |
| committer | Davide Pesavento <davide.pesavento@lip6.fr> | Mon Nov 07 21:36:22 2016 +0100 |
| tree | 86f30f8311bdb861628c2554366cd9223e561502 | |
| parent | ed1e99daa08642822cb722136294724ec5a9cf26 [diff] [blame] |
ci: speed up code-coverage jobs Plus some documentation updates Change-Id: I6fd2b04e22bca6c3d6e36e78d1995220e261206b Refs: #3809
diff --git a/docs/conf.py b/docs/conf.py index d0d0818..dbcdd3b 100644 --- a/docs/conf.py +++ b/docs/conf.py
@@ -274,4 +274,4 @@ # exclude_patterns = ['RELEASE_NOTES.rst'] -redmine_project_url = "http://redmine.named-data.net/" +redmine_project_url = "https://redmine.named-data.net/"