tree 64ebe0a5100fbf943f839baa70d3345998223cc5
parent 61085905cf59a0396bbc981a4cb1094e870a52a3
author Lorenzo Bettini <lorenzo.bettini@gmail.com> 1529926080 +0200
committer Lorenzo Bettini <lorenzo.bettini@gmail.com> 1529926865 +0200

removed unnecessary casts in websitegen

Change-Id: I377d021391a1b7b12474145e32285cdc7a7fd9aa
Signed-off-by: Lorenzo Bettini <lorenzo.bettini@gmail.com>