+++ /dev/null
-namespace std
-{
- /*!
- * \brief vector documentation stub
- *
- * \warning
- * This isn't the real vector template. It's just enough to get doxygen
- * to draw pretty collaboration diagrams.
- */
- template<class T> class vector
- {
- public:
- T *p;
- };
-
-} // namespace std