From: Matthias Maier <tamiko@43-1.org>
Date: Mon, 15 Jun 2015 14:20:47 +0000 (+0200)
Subject: Merge pull request #1011 from bangerth/improve-ascii-art
X-Git-Tag: v8.3.0-rc1~113
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4adc5f615be457732337e62e95335a573f3ab369;p=dealii.git

Merge pull request #1011 from bangerth/improve-ascii-art

Improve ASCII art.
---

4adc5f615be457732337e62e95335a573f3ab369