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