tree cc9834c217f560cad26070bf81f5827cd43556d5
parent 89d9175e7c8a5cd5ff5b0d3fca9af10e0824cdc3
author Davide Pesavento <davide.pesavento@lip6.fr> 1471167788 +0200
committer Davide Pesavento <davide.pesavento@lip6.fr> 1471167893 +0200

build+core: fix version number

v0.3 was tagged a long time ago.

Change-Id: Ifca6f01e0aac1b01303ae9fe5b40b3f354b9bb41