/*
 * @file    timers.h
 * @author  Frederic Pillon <frederic.pillon@st.com> for STMicroelectronics.
 * @brief   Include header file to match Arduino library format
 */
#ifndef _ARDUINO_TIMERS_H_
#define _ARDUINO_TIMERS_H_

#include "FreeRTOS/Source/include/timers.h"

#endif //_ARDUINO_TIMERS_H_