bjh21 4b483d7606 Move "options ARMFPE" to files.arm, so generic ARM files can use it.		2001-02-27 17:56:31 +00:00
..
GENERIC	…
Makefile.dnard	…
files.dnard	Move "options ARMFPE" to files.arm, so generic ARM files can use it.	2001-02-27 17:56:31 +00:00
std.dnard	…