From: Wolfgang Bangerth Date: Tue, 23 May 2017 17:34:47 +0000 (-0400) Subject: Merge pull request #17 from gassmoeller/remember_output_format X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=4444fdcd6aca2973c6dec6bc2b50b628252fec78;p=parameter_gui.git Merge pull request #17 from gassmoeller/remember_output_format Remember output format --- 4444fdcd6aca2973c6dec6bc2b50b628252fec78