diff options
| author | Andreas Grois <andi@grois.info> | 2024-08-13 20:57:10 +0200 |
|---|---|---|
| committer | Andreas Grois <andi@grois.info> | 2024-08-13 20:57:10 +0200 |
| commit | 745ed4f35baea4b1da38c5d8be6851d6c5c9e728 (patch) | |
| tree | f78b74329b3c7e4890fc943f6288feb03febe39d /README.md | |
| parent | 8bbaa53546849c018d7546772080951c45ad0c34 (diff) | |
Fix wrong index validity check for Nat indices.
Diffstat (limited to 'README.md')
0 files changed, 0 insertions, 0 deletions