]> https://gitweb.dealii.org/ - parameter_gui.git/commitdiff
projects / parameter_gui.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: deb9f5c de844d0)
Merge pull request #8 from gassmoeller/make_editor_range_sensitive
authorWolfgang Bangerth <bangerth@colostate.edu>
Sat, 8 Apr 2017 13:30:31 +0000 (07:30 -0600)
committerGitHub <noreply@github.com>
Sat, 8 Apr 2017 13:30:31 +0000 (07:30 -0600)
Only allow values in range. Allow scientific notation for double.


Trivial merge
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


Typeset in Trocchi and Trocchi Bold Sans Serif.