log options/options.html @ 64:46c0595f2dcc

age author description
Wed, 06 May 2020 13:51:51 +0200 Guido Berhoerster Fix HTML markup of the options page
Mon, 21 Jan 2019 15:15:59 +0100 Guido Berhoerster Add option to expand feed entries by default
Fri, 07 Dec 2018 23:00:41 +0100 Guido Berhoerster Implement feed subscription for web-based feed readers