From fddeaf5cb12a847d89284851a0981941e6c99b93 Mon Sep 17 00:00:00 2001 From: David Wells Date: Mon, 14 May 2018 14:06:25 -0400 Subject: [PATCH] Remove some faulty unicode. Contributors are generally not cited in source code, so this should be removed. --- source/grid/grid_out.cc | 4 ---- 1 file changed, 4 deletions(-) diff --git a/source/grid/grid_out.cc b/source/grid/grid_out.cc index 435016e07c..24ced608a4 100644 --- a/source/grid/grid_out.cc +++ b/source/grid/grid_out.cc @@ -3905,10 +3905,6 @@ namespace internal for (LineList::const_iterator line=line_list.begin(); line!=line_list.end(); ++line) if (eps_flags_base.color_lines_level && (line->level > 0)) - // lines colored according to - // refinement level, - // contributed by J�rg - // R. Weimar out << line->level << " l " << (line->first - offset) * scale << " m " -- 2.39.5