diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-02 22:05:29 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2025-08-02 22:05:29 +0200 |
| commit | c23a03a2d11a781998dc1c3de04a8abf2ff7d330 (patch) | |
| tree | 348ea475860f12439d5cdb10323812fd19ba8d88 /src/tools/WriteF.hs | |
| parent | af09351b66802590073773c4de1022eb8db60adf (diff) | |
| parent | 183e421a0fe598d1e698015fce026fdef7f641a3 (diff) | |
Merge pull request #184 from inariksit/update-depth-documentation
Update default depth to 5 + less hardcoding in documentation
Diffstat (limited to 'src/tools/WriteF.hs')
0 files changed, 0 insertions, 0 deletions