diff options
author | Stefan Fuchs <sfuchs@gmx.de> | 2019-08-25 20:05:05 +0200 |
---|---|---|
committer | Robert C. Helling <helling@atdotde.de> | 2019-08-26 13:19:06 +0200 |
commit | 0e55739f03d15b93a678e29bb1af26ff703f0c2f (patch) | |
tree | 1690babe45d280c4d08e1b30d7bfa2a9d4d48e68 /core/profile.c | |
parent | 96f71e6cb1bacbc3fcb0fda9a2b6734f857f150c (diff) | |
download | subsurface-0e55739f03d15b93a678e29bb1af26ff703f0c2f.tar.gz |
Show surface degassing in the planner only when configured time != 0
This prevents from useless "Air" tag in profile when this feature is
not used.
Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
Diffstat (limited to 'core/profile.c')
0 files changed, 0 insertions, 0 deletions