/config.hpp/1.1/Tue Jun 25 12:09:39 2002//
/pattern_except.hpp/1.1/Tue Jun 25 12:09:39 2002//
/regex_traits.hpp/1.1/Tue Jun 25 12:09:39 2002//
/src.cpp/1.2/Sun Dec 15 21:58:54 2002//
/user.hpp/1.1/Tue Jun 25 12:09:39 2002//
D/detail////
