From: alex Date: Sat, 25 Feb 2017 19:30:16 +0000 (+0300) Subject: reindenting #include X-Git-Tag: v8.5.0-rc1~93^2 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F4006%2Fhead;p=dealii.git reindenting #include --- diff --git a/source/base/mpi.cc b/source/base/mpi.cc index e58fb13de0..f1bae1433c 100644 --- a/source/base/mpi.cc +++ b/source/base/mpi.cc @@ -44,7 +44,7 @@ #ifdef DEAL_II_WITH_SLEPC # include -# include +# include #endif #ifdef DEAL_II_WITH_P4EST