diff options
| author |  Stefan Fuchs <sfuchs@gmx.de> | 2017-11-08 20:59:47 +0100 |
|---|---|---|
| committer |  Robert C. Helling <helling@atdotde.de> | 2017-11-09 10:43:03 +0100 |
| commit | a013e35ff4156137c07ebf4b8574d15a3023c4cd (patch) | |
| tree | f3e2efba0ba417b7c4baa1785d9bb6eb92e2fd9e /.gitignore | |
| parent | 13b909cf82efeac3a7be0c9867a01c4cf393cfab (diff) | |
| download | subsurface-a013e35ff4156137c07ebf4b8574d15a3023c4cd.tar.gz | |
Planner don't add minimum gas switch time more than once
Avoid adding the minimum gas switch time more than once even
if we skip some available deco gas.
Signed-off-by: Stefan Fuchs <sfuchs@gmx.de>
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions