From: Denis Davydov Date: Fri, 26 Oct 2018 19:18:49 +0000 (+0200) Subject: Merge pull request #7386 from masterleinad/real_time X-Git-Tag: v9.1.0-rc1~597 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=84960f05259955c337ba8db4b0e6ab45cbea2635;p=dealii.git Merge pull request #7386 from masterleinad/real_time Describe time by real scalar types in Function and friends --- 84960f05259955c337ba8db4b0e6ab45cbea2635