/*
 * tickTimer.h
 *
 *  Created on: 30 juin 2016
 *      Author: kerhoas
 */

#ifndef INC_TICKTIMER_H_
#define INC_TICKTIMER_H_

#include "main.h"

void tickTimerInit(uint16_t);



#endif /* INC_TICKTIMER_H_ */