diff options
| author | Andre Noll <maan@tuebingen.mpg.de> | 2026-08-23 20:47:27 +0200 |
|---|---|---|
| committer | Andre Noll <maan@tuebingen.mpg.de> | 2026-08-23 20:50:40 +0200 |
| commit | e104b5ed6b936ec85ba700ab74f221d2f963a9f9 (patch) | |
| tree | 33308523595c2c23ccbb7a0f4f27c471d148eef5 /errlist | |
| parent | f9a397e3f139a8532e2475aff3c8a4bbd47159da (diff) | |
Shorten the text, improve its wording and mention that the function fails if
the table is empty.
Diffstat (limited to 'errlist')
0 files changed, 0 insertions, 0 deletions
