From: Wolfgang Bangerth Date: Mon, 22 May 2017 14:17:31 +0000 (-0400) Subject: Merge pull request #16 from gassmoeller/prepopulate_save_path X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=85c33fd92d9fa07bb7ec55a08bd218c867c9285b;p=parameter_gui.git Merge pull request #16 from gassmoeller/prepopulate_save_path Prepopulate save file dialog --- 85c33fd92d9fa07bb7ec55a08bd218c867c9285b