diff options
| author | stuebinm | 2021-12-14 00:00:44 +0100 |
|---|---|---|
| committer | stuebinm | 2021-12-14 00:00:44 +0100 |
| commit | eeb78b3f0a634d58258873e57194ba41af3d3711 (patch) | |
| tree | 644c85446e0848b9fd93b3ed9c27f7283d1e627d /lib/CheckMap.hs | |
| parent | 8548481fa152f146e7213cddca5e3b400999c150 (diff) | |
startLayer can actually be set to `false`
(in which case it just doesn't do anything at all)
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions