Gregory Nutt f977d8d2eb Rename configs/nucleo-f401re to configs/nucleo-f4x1re		2014-10-15 07:05:08 -06:00
..
f401re.ld	Rename configs/nucleo-f401re to configs/nucleo-f4x1re	2014-10-15 07:05:08 -06:00
f411re.ld	Rename configs/nucleo-f401re to configs/nucleo-f4x1re	2014-10-15 07:05:08 -06:00