chiark / gitweb /
Track the latest read item within File's lifetime.
authorSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 11:32:09 +0000 (11:32 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 6 Jan 2024 14:06:13 +0000 (14:06 +0000)
commita47e08b0ce22c1f589301a509d6dd20902247cbe
tree5eacdc821336b4f534516abe80e10f2a6638a73e
parent3991873070d0baf9d55d8e413b2fedb5e2964b70
Track the latest read item within File's lifetime.

Nothing actually uses it yet.
src/file.rs