#include <bits/os_defines.h>
// The current version of the C++ library in compressed ISO date format.
-#define __GLIBCPP__ 20011223
+#define __GLIBCPP__ 20020108
// This is necessary until GCC supports separate template
// compilation.
// The remainder of the prewritten config is mostly automatic; all the
// user hooks are listed above.
-/** @namespace std
- * @brief Everything defined by the ISO C++ Standard is within namespace std.
- */
-
// End of prewritten config; the discovered settings follow.