esp32-alarm-clock/main/time_display.h

/*
 * SPDX-FileCopyrightText: 2022 Helmut Pozimski <helmut@pozimski.eu>
 *
 * SPDX-License-Identifier: GPL-2.0-only
 */
void display_update_task(void *pvParameters);