chiark / gitweb /
Rename FeedFile and friends.
authorSimon Tatham <anakin@pobox.com>
Mon, 1 Jan 2024 09:21:22 +0000 (09:21 +0000)
committerSimon Tatham <anakin@pobox.com>
Mon, 1 Jan 2024 10:10:14 +0000 (10:10 +0000)
commit5a32f8dd6f32f64987a3effd3361a8200d0a5801
tree90806fc1ab5a76b8e50b6004315e2b0daef12474
parent997996bebcf5783e51726e02fddb89dbf2ce0a98
Rename FeedFile and friends.

The scrolling-file system is about to be reused for things that aren't
feeds, so it will be confusing to have the structs all called FeedThing.
src/file.rs