diff options
author | Tom Smeding <tom@tomsmeding.com> | 2024-10-10 22:33:21 +0200 |
---|---|---|
committer | Tom Smeding <tom@tomsmeding.com> | 2024-10-10 22:33:21 +0200 |
commit | 62d0b4a515e807e15e8438fbe2f9ee87ccf5d911 (patch) | |
tree | b3775510561d2919f55de8ff108e44b9670ce0b5 /.gitignore | |
parent | 7ea4ab011d0c63b0f284ae20f780fe8675a2d90c (diff) |
Better error message in IsList(ListR)
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions