commit 0530b5bf86438eb98e4a6931f033800b4adabf56
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

ci: speed up code-coverage jobs

Plus some documentation updates

Change-Id: I6fd2b04e22bca6c3d6e36e78d1995220e261206b
Refs: #3809

README-dev.md

diff --git a/README-dev.md b/README-dev.md
index 80ef497..6d6d572 100644
--- a/README-dev.md
+++ b/README-dev.md
@@ -41,7 +41,7 @@
      */
 
 If you are affiliated to an NSF-supported NDN project institution, please use the [NDN Team License
-Boilerplate](http://redmine.named-data.net/projects/ndn-cxx/wiki/NDN_Team_License_Boilerplate_(ndn-cxx)).
+Boilerplate](https://redmine.named-data.net/projects/ndn-cxx/wiki/NDN_Team_License_Boilerplate_(ndn-cxx)).
 
 Running unit-tests
 ------------------