From: Beman Dawes (bdawes_at_[hidden])
Date: 2003-05-11 09:05:13
A last_write_time() function has been added to
It is based on suggestions from Richard Fanta, Ben Hutchings, and Peter
CVS has been updated.
Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk