chiark / gitweb /
Ability to extend the feed backwards in time.
authorSimon Tatham <anakin@pobox.com>
Sat, 30 Dec 2023 09:30:09 +0000 (09:30 +0000)
committerSimon Tatham <anakin@pobox.com>
Sat, 30 Dec 2023 11:22:34 +0000 (11:22 +0000)
commit6342a54ef80a3578286f40855ce3f52b06800545
treed7b9abf3d656b9e78deb2adfcffe6300a1e52180
parent7b276021da07d6705d1ce72d520345324a663b2d
Ability to extend the feed backwards in time.

Haven't yet tested the part where extension runs out, though. That
will be easier when we get some more kinds of feed, so I've left a
FIXME comment in there.
src/client.rs
src/file.rs
src/tui.rs