diff options
| author |  Robert C. Helling <helling@atdotde.de> | 2017-09-18 16:10:47 +0200 |
|---|---|---|
| committer |  Dirk Hohndel <dirk@hohndel.org> | 2017-09-20 08:54:41 -0700 |
| commit | a6f186279fcce9631623b94bfdc00fa3fd071b4c (patch) | |
| tree | 22e907959336c94887f210da14f7fc5c54496b6d /desktop-widgets/preferences | |
| parent | 5e9bdce195c1ec3ca077ce75cf2c0a221d6029de (diff) | |
| download | subsurface-a6f186279fcce9631623b94bfdc00fa3fd071b4c.tar.gz | |
Add a checkbox to turn off plan variations
... as those come with a performance penalty
Signed-off-by: Robert C. Helling <helling@atdotde.de>
Diffstat (limited to 'desktop-widgets/preferences')
0 files changed, 0 insertions, 0 deletions