]> https://gitweb.dealii.org/ - parameter_gui.git/commit
projects / parameter_gui.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4444fdc) | patch
Use global settings instead of settings file 18/head
authorRene Gassmoeller <rene.gassmoeller@mailbox.org>
Fri, 23 Jun 2017 19:58:50 +0000 (13:58 -0600)
committerRene Gassmoeller <rene.gassmoeller@mailbox.org>
Fri, 23 Jun 2017 19:59:57 +0000 (13:59 -0600)
commitffca65588e5a30559dc6ff924210268ce6332e07
treeb360bf7049e0106581bcd47b3f1d35082b228de5tree | snapshot
parent4444fdcd6aca2973c6dec6bc2b50b628252fec78commit | diff
Use global settings instead of settings file
info_message.cpp diff | blob | history
info_message.h diff | blob | history
mainwindow.cpp diff | blob | history
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.