From: Wolfgang Bangerth <bangerth@math.tamu.edu>
Date: Tue, 27 Oct 2015 00:05:00 +0000 (-0500)
Subject: Merge pull request #1794 from tamiko/fix_typo
X-Git-Tag: v8.4.0-rc2~280
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=c9efb5ae2232be311ee76e98c075d12b1dc09e10;p=dealii.git

Merge pull request #1794 from tamiko/fix_typo

Documentation: Fix a typo in porting.html
---

c9efb5ae2232be311ee76e98c075d12b1dc09e10