From 43c751eb5179ffabe43ee2ccab940df349b1dd63 Mon Sep 17 00:00:00 2001 From: Wolfgang Bangerth Date: Tue, 28 Apr 2009 13:35:35 +0000 Subject: [PATCH] Suggestion by Rostislav Khlebnikov: Remove an include file that is apparently not necessary. git-svn-id: https://svn.dealii.org/trunk@18765 0785d39b-7218-0410-832d-ea1e28bc413d --- deal.II/base/source/job_identifier.cc | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/deal.II/base/source/job_identifier.cc b/deal.II/base/source/job_identifier.cc index 61741c0551..371eaa3916 100644 --- a/deal.II/base/source/job_identifier.cc +++ b/deal.II/base/source/job_identifier.cc @@ -2,7 +2,7 @@ // $Id$ // Version: $Name$ // -// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006 by the deal.II authors +// Copyright (C) 1998, 1999, 2000, 2001, 2002, 2003, 2005, 2006, 2009 by the deal.II authors // // This file is subject to QPL and may not be distributed // without copyright and license information. Please refer @@ -14,7 +14,6 @@ #include #include -#include #if HAVE_GETHOSTNAME # include -- 2.39.5