From: Wolfgang Bangerth Date: Thu, 14 Sep 2017 14:49:20 +0000 (-0600) Subject: Merge pull request #5084 from GivAlz/ErrorPoint X-Git-Tag: v9.0.0-rc1~1083 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=a3151fc500ef221bce576d40899c2453e8728f64;p=dealii.git Merge pull request #5084 from GivAlz/ErrorPoint Corrected error in documentation of point input operator --- a3151fc500ef221bce576d40899c2453e8728f64