/*
 * Timer.h
 *
 * Created: 08/03/2018 10.50.09
 *  Author: Luca
 */ 


#ifndef TIMER_H_
#define TIMER_H_

extern volatile int frame_time;

void Timer_init(void);

#endif /* TIMER_H_ */