DOC: remove obsolete pipeline reference

Signed-off-by: Raphael Defosseux <raphael.defosseux@eurecom.fr>
2020-06-26 16:55:47 +02:00
parent bc6f6a6067
commit 27080aa607
1 changed files with 0 additions and 1 deletions
@@ -38,7 +38,6 @@ Last point, this documentation is valid for all CI-supported branches:

 *  `master`
 *  `develop`
-*  `develop-nr`

 But the feature set may not be aligned. **The principles still apply.**