tree 57099bdbc1f1afa2b70c590318b02709aac5a2e2
parent df0bd34f83b56391071a317c8975ee1c41aac0b3
author Davide Pesavento <davidepesa@gmail.com> 1548398073 -0500
committer Davide Pesavento <davidepesa@gmail.com> 1548402007 -0500

Use the official markdown version of the GPLv3

Change-Id: I85cf19a0ba39ccc215399e25b0dc38c56747198d