| commit | 119f6cfbd0236c9684a8a12ff9241dc834418309 | [log] [tgz] |
|---|---|---|
| author | Tom Tromey <tromey@adacore.com> | Thu Feb 09 07:36:16 2023 -0700 |
| committer | Tom Tromey <tromey@adacore.com> | Thu Feb 09 07:36:16 2023 -0700 |
| tree | 7a8901fe091f1379b0752bbe414bd9149595fae0 | |
| parent | 307733cc0fa864fcb92f4c308a0a27d17552df37 [diff] |
Remove mention of cooked_index_vector I noticed a leftover mention of cooked_index_vector. This updates the text.