log run/deprecated_13.d @ 1630:d0efa3ae5522 default tip

age author description
Thu, 31 Mar 2005 09:01:33 +0000 thomask added missing meta-data
Sun, 31 Oct 2004 21:21:04 +0000 thomask 1) changed "?DSTRESS_FLAGS?" to "__DSTRESS_DFLAGS__" in order to cope with botched shells