tree b6c28f5489f0ffe3043b194bcbe59d657deb7319
parent ce306cae09cc7c249f7311a461e090d414e549d5
author Davide Pesavento <davide.pesavento@lip6.fr> 1451070360 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> 1451070360 +0100

docs: remove code style rule 3.11

Change-Id: I2ddc5d59970166511099b49f9375144997ff07d2
Refs: #3368