]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Merge pull request #9434 from peterrum/ph_json_optional
authorLuca Heltai <luca.heltai@sissa.it>
Thu, 30 Jan 2020 14:06:05 +0000 (15:06 +0100)
committerGitHub <noreply@github.com>
Thu, 30 Jan 2020 14:06:05 +0000 (15:06 +0100)
Further changes to ParameterHandler::parse_input_from_json

1  2 
include/deal.II/base/parameter_handler.h
source/base/parameter_handler.cc

Simple merge

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.