* device/lib/Makefile.in: reenable floating point in model-xstack-auto
[fw/sdcc] / src / xa51 / main.h
2002-01-17 johanknolJust to make sure I don't loose them again when syncing...