From: Denis Davydov Date: Fri, 19 Oct 2018 19:35:54 +0000 (+0200) Subject: Merge pull request #7362 from davydden/bugfix/skip_indefined_include X-Git-Tag: v9.1.0-rc1~607 X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=b20c0283307190d94c622a3e5dc8f5d8b855c639;p=dealii.git Merge pull request #7362 from davydden/bugfix/skip_indefined_include fix usage of skip_undefined when reading another file via input statement --- b20c0283307190d94c622a3e5dc8f5d8b855c639