https://gitweb.dealii.org/ - parameter

Rene Gassmoeller [Thu, 30 Mar 2017 19:44:51 +0000 (13:44 -0600)]

Handle selection parameters with spaces correctly

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

Timo Heister [Tue, 28 Mar 2017 20:53:09 +0000 (16:53 -0400)]

Merge pull request #3 from gassmoeller/remove_tooltip

Remove tooltip

Rene Gassmoeller [Tue, 28 Mar 2017 20:45:13 +0000 (14:45 -0600)]

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

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

Rene Gassmoeller [Tue, 28 Mar 2017 20:02:44 +0000 (14:02 -0600)]

Rene Gassmoeller [Fri, 24 Mar 2017 21:42:30 +0000 (15:42 -0600)]

Rene Gassmoeller [Tue, 28 Mar 2017 16:55:49 +0000 (10:55 -0600)]

Matthias Maier [Wed, 6 Jul 2016 20:54:41 +0000 (15:54 -0500)]

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

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

Mirror of the development repository for the Parameter Gui

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