commit e11c8d85b898629800403d017876af7f33d8fc00
author Davide Pesavento <davide.pesavento@lip6.fr> Sat Apr 16 14:32:07 2016 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> Fri Apr 22 02:16:13 2016 +0200
tree 6c81516e1272063397943beacb59df4f6c5b1bd5
parent 2e52d7cab4e03631db7f6c89a2daf7de590dd29e

docs+ci: Ubuntu 12.04 is no longer supported

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

.jenkins.d/README.md

diff --git a/.jenkins.d/README.md b/.jenkins.d/README.md
index 4f5e930..4720a52 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.