diff options
| author |  Joakim Bygdell <j.bygdell@gmail.com> | 2015-04-05 14:17:26 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2015-04-05 07:40:54 -0700 |
| commit | 352433723dc98269a4b206072b7fd18d6dba436e (patch) | |
| tree | abb35b691f87b2354959a9cb354763a99dee552a /scripts/get-version | |
| parent | f8a808bcaf8cf18ae6892e1e680006fc3f702d09 (diff) | |
| download | subsurface-352433723dc98269a4b206072b7fd18d6dba436e.tar.gz | |
Read stored planner prefs when starting.
Back in 5bf23381e we started storing planner settings in prefs.
We need to read those settings back when we start the planner.
Signed-off-by: Joakim Bygdell <j.bygdell@gmail.com>
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'scripts/get-version')
0 files changed, 0 insertions, 0 deletions