tree 06674f9c3b2ad16627a3feefcb4c4c0855f76f74
parent d214744ab85a556e4e319bdadd152185a170c892
author Davide Pesavento <davide.pesavento@lip6.fr> 1519501754 -0500
committer Davide Pesavento <davide.pesavento@lip6.fr> 1519501754 -0500

tools: fix listing of face flags in HTML status page

Change-Id: I288615eb8379979b0e3eb9599e1adb1d06478814