tree 09f4725a7c0c5747bb3832ccf880b3e7f36f0653
parent 9f3973e7b7cf974a0b94fab4a87697c1408bd532
author Davide Pesavento <davide.pesavento@lip6.fr> 1496611051 -0400
committer Davide Pesavento <davide.pesavento@lip6.fr> 1496619173 -0400

ci: filter websocketpp files from lcov output

Change-Id: Ibd1ce39b0bf936e280e0277eaabf98cc68a5d656