]> https://gitweb.dealii.org/ - parameter_gui.git/log
parameter_gui.git
7 years agoHandle selection parameters with spaces correctly 5/head
Rene Gassmoeller [Thu, 30 Mar 2017 19:44:51 +0000 (13:44 -0600)]
Handle selection parameters with spaces correctly

7 years agoMerge pull request #1 from gassmoeller/add_prm_writer
Timo Heister [Tue, 28 Mar 2017 20:53:42 +0000 (16:53 -0400)]
Merge pull request #1 from gassmoeller/add_prm_writer

Add prm writer class

7 years agoMerge pull request #3 from gassmoeller/remove_tooltip
Timo Heister [Tue, 28 Mar 2017 20:53:09 +0000 (16:53 -0400)]
Merge pull request #3 from gassmoeller/remove_tooltip

Remove tooltip

7 years agoAdd documentation 3/head
Rene Gassmoeller [Tue, 28 Mar 2017 20:45:13 +0000 (14:45 -0600)]
Add documentation

7 years agoMerge pull request #2 from gassmoeller/add_documentation_panel
Timo Heister [Tue, 28 Mar 2017 20:43:00 +0000 (16:43 -0400)]
Merge pull request #2 from gassmoeller/add_documentation_panel

Add documentation panel

7 years agoRemove tooltip
Rene Gassmoeller [Tue, 28 Mar 2017 20:33:44 +0000 (14:33 -0600)]
Remove tooltip

7 years agoAddress comments 1/head
Rene Gassmoeller [Tue, 28 Mar 2017 20:02:44 +0000 (14:02 -0600)]
Address comments

7 years agoAdd documentation panel 2/head
Rene Gassmoeller [Fri, 24 Mar 2017 21:42:30 +0000 (15:42 -0600)]
Add documentation panel

7 years agoAdd prm writer class
Rene Gassmoeller [Tue, 28 Mar 2017 16:55:49 +0000 (10:55 -0600)]
Add prm writer class

8 years agoRewrite README in markdown
Matthias Maier [Wed, 6 Jul 2016 20:54:41 +0000 (15:54 -0500)]
Rewrite README in markdown

8 years agoUpdate wording
Matthias Maier [Wed, 6 Jul 2016 20:17:43 +0000 (15:17 -0500)]
Update wording

8 years agoinitial commit
Matthias Maier [Wed, 6 Jul 2016 20:13:11 +0000 (15:13 -0500)]
initial commit


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.