Merge pull request #9976 from masterleinad/fix_more_funny_spacing

author Wolfgang Bangerth <bangerth@colostate.edu>

Tue, 28 Apr 2020 14:49:03 +0000 (16:49 +0200)

committer GitHub <noreply@github.com>

Tue, 28 Apr 2020 14:49:03 +0000 (16:49 +0200)
author Wolfgang Bangerth <bangerth@colostate.edu>
Tue, 28 Apr 2020 14:49:03 +0000 (16:49 +0200)
committer GitHub <noreply@github.com>
Tue, 28 Apr 2020 14:49:03 +0000 (16:49 +0200)
diff --cc include/deal.II/numerics/data_out_dof_data.templates.h
Simple merge
diff --cc include/deal.II/numerics/matrix_creator.templates.h
Simple merge
diff --cc source/distributed/tria.cc
Simple merge
diff --cc source/grid/grid_tools.cc
Simple merge
author	Wolfgang Bangerth <bangerth@colostate.edu>
	Tue, 28 Apr 2020 14:49:03 +0000 (16:49 +0200)
committer	GitHub <noreply@github.com>
	Tue, 28 Apr 2020 14:49:03 +0000 (16:49 +0200)
		1	2
include/deal.II/numerics/data_out_dof_data.templates.h	patch \|	diff1 \|	diff2 \|	blob \| history
include/deal.II/numerics/matrix_creator.templates.h	patch \|	diff1 \|	diff2 \|	blob \| history
source/distributed/tria.cc	patch \|	diff1 \|	diff2 \|	blob \| history
source/grid/grid_tools.cc	patch \|	diff1 \|	diff2 \|	blob \| history