/* Before you start, select your target, on the right of the "Load" button */
int main(void)
/* Before you start, select your target, on the right of the "Load" button */
int main(void)
{
    	if (TM_DISCO_ButtonPressed()) {
    		TM_DISCO_LedOn(LED_RED | LED_GREEN);
    	} else {
    		TM_DISCO_LedOff(LED_RED | LED_GREEN);
    	}
		if (TM_DISCO_ButtonOnPressed()) {
			GPIOD->BSRRL = LED_BLUE;
		}
		if (TM_DISCO_ButtonOnReleased()) {
			GPIOD->BSRRH = LED_BLUE;
		}
    }
}