diff options
| author |  Dirk Hohndel <dirk@hohndel.org> | 2018-10-19 06:34:34 -0400 |
|---|---|---|
| committer | Dirk Hohndel <dirk@hohndel.org> | 2018-10-23 22:45:30 +0100 |
| commit | fd31dfe40d1e0a2e0352b16fbc72d3d529905eb6 (patch) | |
| tree | cd7b71d020627c235972a04560312890bf79e011 /core/configuredivecomputerthreads.h | |
| parent | c797038bd8cc4a6f058069dbd34471242529eaab (diff) | |
| download | subsurface-fd31dfe40d1e0a2e0352b16fbc72d3d529905eb6.tar.gz | |
Mobile/filtering: use margins instead of rectangles to create space
I'm not sure why this had initially failed.
Signed-off-by: Dirk Hohndel <dirk@hohndel.org>
Diffstat (limited to 'core/configuredivecomputerthreads.h')
0 files changed, 0 insertions, 0 deletions