#include <bits/os_defines.h>
// The current version of the C++ library in compressed ISO date format.
-#define __GLIBCPP__ 20010705
+#define __GLIBCPP__ 20010719
// This is necessary until GCC supports separate template
// compilation.
// should be cleaned up.
# define __stl_assert(expr)
+/** @namespace std
+ * @brief Everything defined by the ISO C++ Standard is within namespace std.
+ */
+
// End of prewritten config; the discovered settings follow.