From: Daniel Arndt <daniel.arndt@iwr.uni-heidelberg.de>
Date: Sun, 22 Apr 2018 05:16:45 +0000 (+0200)
Subject: Merge pull request #5990 from tjhei/step-37-print-vec-info
X-Git-Tag: v9.0.0-rc1~143
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=8a2af556dcfce1c2a870fce4ea7a259b04383563;p=dealii.git

Merge pull request #5990 from tjhei/step-37-print-vec-info

step-37: print vectorization info
---

8a2af556dcfce1c2a870fce4ea7a259b04383563