tree fc4b37dcd745a8c27595a3c0e92e66b37d9826fa
parent 162bdbbcb25c28fce711bcfa212cdb7dbbdf2339
author Davide Pesavento <davide.pesavento@lip6.fr> 1542840822 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1542840822 -0500

Use the official markdown version of the GPLv3

Change-Id: I87a0a46a976a031088c39d5ad04cb05d238f082e