/Double.h/1.2/Thu Jan 18 22:14:41 2007//
/Makefile.am/1.2/Fri Sep  9 05:30:25 2005//
D
