]> https://gitweb.dealii.org/ - parameter_gui.git/commit
Merge pull request #5 from gassmoeller/fix_selection_display
authorTimo Heister <timo.heister@gmail.com>
Thu, 30 Mar 2017 20:03:31 +0000 (16:03 -0400)
committerGitHub <noreply@github.com>
Thu, 30 Mar 2017 20:03:31 +0000 (16:03 -0400)
commit4e9801714f2fa57ff474bea5e10aebf0e37fdd2c
treeb89860b6b330d0a82ab406ec6ccb85521f7cb163
parent1834867769ed00fd68b27306a3ac9dec2d4b3158
parentfe4a461907d5f63a1abb8a20051f2fb59fdb7fcb
Merge pull request #5 from gassmoeller/fix_selection_display

Handle selection parameters with spaces correctly

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.