tree 7db014fdcbb7384c6cfae0f0464d79fbf0ee304d
parent e5569915954e12127acc7a10bdbdbf2434cf0a35
author Davide Pesavento <davidepesa@gmail.com> 1548809349 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1548809349 -0500

Use the official markdown version of the GPLv3

Change-Id: I5de645c2b29c29e2927e19b12831c0b336ad54b7