Merge pull request #15132 from bangerth/concepts

author Daniel Arndt <arndtd@ornl.gov>

Mon, 8 May 2023 15:00:18 +0000 (11:00 -0400)

committer GitHub <noreply@github.com>

Mon, 8 May 2023 15:00:18 +0000 (11:00 -0400)
author Daniel Arndt <arndtd@ornl.gov>
Mon, 8 May 2023 15:00:18 +0000 (11:00 -0400)
committer GitHub <noreply@github.com>
Mon, 8 May 2023 15:00:18 +0000 (11:00 -0400)
diff --cc include/deal.II/lac/petsc_snes.h
Simple merge
diff --cc include/deal.II/lac/petsc_ts.h
Simple merge
diff --cc include/deal.II/lac/petsc_ts.templates.h
Simple merge
author	Daniel Arndt <arndtd@ornl.gov>
	Mon, 8 May 2023 15:00:18 +0000 (11:00 -0400)
committer	GitHub <noreply@github.com>
	Mon, 8 May 2023 15:00:18 +0000 (11:00 -0400)
		1	2
include/deal.II/lac/petsc_snes.h	patch \|	diff1 \|	diff2 \|	blob \| history
include/deal.II/lac/petsc_ts.h	patch \|	diff1 \|	diff2 \|	blob \| history
include/deal.II/lac/petsc_ts.templates.h	patch \|	diff1 \|	diff2 \|	blob \| history