chiark / gitweb /
Make FileContents store the item ids.
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 11:58:18 +0000 (11:58 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 13:36:17 +0000 (13:36 +0000)
commit3991873070d0baf9d55d8e413b2fedb5e2964b70
treed66e4b243b7687ad8f6843c86346a1222322e0fd
parent1947d179a319dcf76981a15bf02e40ee3193cc06
Make FileContents store the item ids.

This allows it to also search for the index of a specific item.
src/file.rs