+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_array_h
-#define dealii_std_cxx1x_array_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/array.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_bind_h
-#define dealii_std_cxx1x_bind_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/bind.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_condition_variable_h
-#define dealii_std_cxx1x_condition_variable_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/condition_variable.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_function_h
-#define dealii_std_cxx1x_function_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/function.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_mutex_h
-#define dealii_std_cxx1x_mutex_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/mutex.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_shared_ptr_h
-#define dealii_std_cxx1x_shared_ptr_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/shared_ptr.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_thread_h
-#define dealii_std_cxx1x_thread_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/thread.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_tuple_h
-#define dealii_std_cxx1x_tuple_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/tuple.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif
+++ /dev/null
-// ---------------------------------------------------------------------
-//
-// Copyright (C) 2014-2016 by the deal.II authors
-//
-// This file is part of the deal.II library.
-//
-// The deal.II library is free software; you can use it, redistribute
-// it, and/or modify it under the terms of the GNU Lesser General
-// Public License as published by the Free Software Foundation; either
-// version 2.1 of the License, or (at your option) any later version.
-// The full text of the license can be found in the file LICENSE.md at
-// the top level directory of deal.II.
-//
-// ---------------------------------------------------------------------
-
-#ifndef dealii_std_cxx1x_type_traits_h
-#define dealii_std_cxx1x_type_traits_h
-
-// this file is deprecated. simply include the one we use now
-#include "../std_cxx11/type_traits.h"
-
-// then allow using the old namespace name instead of the new one
-DEAL_II_NAMESPACE_OPEN
-namespace std_cxx1x = std_cxx11;
-DEAL_II_NAMESPACE_CLOSE
-
-#endif