tree 0583045c2c3e55233984a65c36908c2149693d9f
parent 4f55a9b4c3d915481d37336e5b766414d835abb0
author Andrzej Kurek <andrzej.kurek@arm.com> 1642772624 -0500
committer Andrzej Kurek <andrzej.kurek@arm.com> 1642773595 -0500

doxygen: enable the search engine

Signed-off-by: Andrzej Kurek <andrzej.kurek@arm.com>