diff options
author | Florian Diebold <[email protected]> | 2021-04-07 20:26:37 +0100 |
---|---|---|
committer | Florian Diebold <[email protected]> | 2021-04-08 13:08:55 +0100 |
commit | caee3b6c2d9a7dbcf678cc06d0c1832a4bf19be4 (patch) | |
tree | df770a02d0474c985cfb283c4386fb3711bae80f /docs/dev | |
parent | b25b147e8604f62a5620a5833112e358ebeeb287 (diff) |
Replace some `fold` calls
Diffstat (limited to 'docs/dev')
0 files changed, 0 insertions, 0 deletions