]> https://gitweb.dealii.org/ - parameter_gui.git/commit
Merge pull request #18 from gassmoeller/settings_ini_location
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 24 Jun 2017 02:47:58 +0000 (21:47 -0500)
committerGitHub <noreply@github.com>
Sat, 24 Jun 2017 02:47:58 +0000 (21:47 -0500)
commit6dff65cb7b799251fef54300105f8b52022dd35f
treeb360bf7049e0106581bcd47b3f1d35082b228de5
parent4444fdcd6aca2973c6dec6bc2b50b628252fec78
parentffca65588e5a30559dc6ff924210268ce6332e07
Merge pull request #18 from gassmoeller/settings_ini_location

Use global settings instead of settings file for info message

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.