From 8e17e3c756b8456ebe7d64c4d24c6c5256713d3d Mon Sep 17 00:00:00 2001 From: Matthias Maier Date: Thu, 26 Apr 2018 16:04:50 -0500 Subject: [PATCH] manually fix garbled header --- tests/opencascade/create_tria_02.cc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tests/opencascade/create_tria_02.cc b/tests/opencascade/create_tria_02.cc index d2e964f92f..009e6db92e 100644 --- a/tests/opencascade/create_tria_02.cc +++ b/tests/opencascade/create_tria_02.cc @@ -1,6 +1,6 @@ // --------------------------------------------------------------------- // -// Copyright (C) 2017 - the by the deal.II authors +// Copyright (C) 2017 by the deal.II authors // // This file is part of the deal.II library. // -- 2.39.5