log options/options.css @ 71:0911daceb718 default tip

age author description
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