diff options
| author | John MacFarlane <[email protected]> | 2023-10-28 10:06:28 -0700 |
|---|---|---|
| committer | John MacFarlane <[email protected]> | 2023-10-28 10:07:13 -0700 |
| commit | 0f3211c3391cd9e1c638772ddce553f810c0bccc (patch) | |
| tree | a513f42bdb416f6185191a82aba7998dbaf57462 /.gitignore | |
| parent | 196bf9693215eb45efd365295e27c3d840d31f54 (diff) | |
Shared: improve isTightList...
so that it recognizes an item containing only a list which is
itself tight as potentially an item in a tight list.
Closes #9161.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions
