//-------------------------------------------------------------------------
-// $Id: trilinos.h 12036 2006-01-15 21:24:49Z wolf $
+// $Id$
// Version: $Name$
//
// Copyright (C) 2008 by the deal.II authors
//---------------------------------------------------------------------------
-// $Id: trilinos_vector_base.h 16818 2008-09-12 14:30:24Z kronbichler $
+// $Id$
// Version: $Name$
//
// Copyright (C) 2008 by the deal.II authors
//---------------------------------------------------------------------------
-// $Id: trilinos_block_vector.cc 15631 2008-01-17 23:47:31Z bangerth $
+// $Id$
// Version: $Name$
//
// Copyright (C) 2008 by the deal.II authors
//---------------------------------------------------------------------------
-// $Id: trilinos_vector_base.cc 16818 2008-09-12 14:30:24Z kronbichler $
+// $Id$
// Version: $Name$
//
// Copyright (C) 2008 by the deal.II authors
In the beginning the Universe was created. This has made a lot of
people very angry and has been widely regarded as a bad move.
Douglas Adams