tree 56420c782f1a6066c65c3272f0a00bf0eb8b19bc
parent 16aabbcc3b2b2d7b649e948ad7725fc0c549095f
author Davide Pesavento <davide.pesavento@lip6.fr> 1446406504 +0100
committer Davide Pesavento <davide.pesavento@lip6.fr> 1446482670 +0100

build: enable -Wextra by default

Change-Id: I1e6783fca6530741bf4b81dd13613a6b4235290a
Refs: #3293