/*
 * timer.h
 *
 * Created: 13.04.2023 14:12:16
 *  Author: mrnek
 */ 

void setup_timer();

unsigned long get_millis();