diff options
| author | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-02 21:46:13 +0200 |
|---|---|---|
| committer | Inari Listenmaa <inari.listenmaa@gmail.com> | 2025-08-02 21:46:13 +0200 |
| commit | 3e0c0fa463f9a58084439cf52c334c1577ebc808 (patch) | |
| tree | 5518f7cc1c97f11e0fa904fce6096df3d490db8f /src/compiler/GF/Command/TreeOperations.hs | |
| parent | af09351b66802590073773c4de1022eb8db60adf (diff) | |
define default depths for shell and server only once
Diffstat (limited to 'src/compiler/GF/Command/TreeOperations.hs')
0 files changed, 0 insertions, 0 deletions