From 346b2f82d1cf41c9fce09527968415c5435060c5 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Wed, 24 Jan 2018 14:57:55 -0700 Subject: [PATCH] Remove an old svn tag. --- source/distributed/shared_tria.cc | 1 - 1 file changed, 1 deletion(-) diff --git a/source/distributed/shared_tria.cc b/source/distributed/shared_tria.cc index 948a2bf5a7..0cd21d4f5e 100644 --- a/source/distributed/shared_tria.cc +++ b/source/distributed/shared_tria.cc @@ -1,5 +1,4 @@ // --------------------------------------------------------------------- -// $Id: tria.cc 32807 2014-04-22 15:01:57Z heister $ // // Copyright (C) 2015 - 2017 by the deal.II authors // -- 2.39.5