commit cc7bee7d8031511b399a8598d75436e4ebd8aee4
author Davide Pesavento <davide.pesavento@lip6.fr> Fri Apr 22 02:21:13 2016 +0200
committer Alexander Afanasyev <alexander.afanasyev@ucla.edu> Wed Apr 27 12:15:06 2016 -0700
tree 34b55883575c65503c6f677762c3fb6d8269e58f
parent 6602b3b1790d3791d6742561021002ca809b6625

docs+ci: Ubuntu 12.04 is no longer supported

Change-Id: I423a0f22662383f52413d12dc26d2a4ed08579e2
Refs: #3599, #3600

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index b1a3fbf..386e2db 100644
--- a/.jenkins.d/README.md
+++ b/.jenkins.d/README.md
@@ -13,13 +13,13 @@
 
   * `[OS_TYPE]`: `Linux`
   * `[DISTRO_TYPE]`: `Ubuntu`
-  * `[DISTRO_VERSION]`: `Ubuntu-12.04`, `Ubuntu-14.04`, `Ubuntu-15.04`
+  * `[DISTRO_VERSION]`: `Ubuntu-14.04`, `Ubuntu-16.04`
 
   Possible values of OSX OS:
 
   * `[OS_TYPE]`: `OSX`
   * `[DISTRO_TYPE]`: `OSX` (can be absent)
-  * `[DISTRO_VERSION]`: `OSX-10.10`, `OSX-10.9`, `OSX-10.8`, `OSX-10.7`
+  * `[DISTRO_VERSION]`: `OSX-10.11`, `OSX-10.10`, `OSX-10.9`, `OSX-10.8`
 
 - `JOB_NAME`: optional variable to define type of the job.  Depending on the defined job type,
   the build scripts can perform different tasks.