chiark / gitweb /
~ian / mastodonochrome.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0695374) | patch
Store an actual FileType in File.
authorSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 12:54:34 +0000 (12:54 +0000)
committerSimon Tatham <anakin@pobox.com>
Thu, 4 Jan 2024 13:15:54 +0000 (13:15 +0000)
commitc7683a14d12733e8a561f5586cd15a7e252402eb
treef7504a8682caf33225a8e31ad0a68cf1e37c7d74tree | snapshot
parent06953749b7894e4cd38d1222b9567a58b8de666bcommit | diff
Store an actual FileType in File.

That way it can remember what feed the file is about, so as to save
the file position later.
src/file.rs diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.