he 35c0cfeaba Vax doesn't have IEEE floating point.		2010-09-01 13:46:58 +00:00
..
config.h	Vax doesn't have IEEE floating point.	2010-09-01 13:46:58 +00:00