diff options
author | Bardur Arantsson <bardur@scientician.net> | 2016-09-17 09:58:14 +0200 |
---|---|---|
committer | Bardur Arantsson <bardur@scientician.net> | 2016-09-17 09:58:14 +0200 |
commit | 6006546b4d015619b7d119d400fac819da6bc826 (patch) | |
tree | 2a1704a5c22cf2485917185316af0a5417a3de55 /src/cave.hpp | |
parent | 6adef091b0713941e1149ecf21a5ab6feee3b06d (diff) |
Factor out 'flush_failure' option handling
Diffstat (limited to 'src/cave.hpp')
0 files changed, 0 insertions, 0 deletions