tree 4568ca74647c1e504ffda9f12ba757731de94d71
parent ff632d5a3c2af74ae7638d204a563f8c3634bb99
author Andrzej Kurek <andrzej.kurek@arm.com> 1643038393 -0500
committer Andrzej Kurek <andrzej.kurek@arm.com> 1643038393 -0500

doxygen: remove empty platform_time configuration section

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