tree 84ae67ee5e67d12106173e9b5537eb07da272544
parent 6a7434efa6379bee819ba493b11a4a87a30f37b0
author Nikhil Raj <nikhil.raj@arm.com> 1692359226 +0100
committer John Mcloughlin <john.mcloughlin@arm.com> 1692378378 +0100

IVGCVSW-6212 Search bar on github in doxygen docu not working

* Update HTML_FILE_EXTENSION to html

Signed-off-by: Nikhil Raj <nikhil.raj@arm.com>
Change-Id: I7b4107007378a37ef470087e977dd0aaeae2f0cc