/********************************************/
/*Timer1 Configuration Code                 */
/*PIC32MX675F256L-80I/PF                    */
/********************************************/

#include "xc.h"


void Timer1_Init(void)
{    
    
    return;
}