log popup/feed-selection.html @ 71:0911daceb718 default tip

age author description
Mon, 09 Nov 2020 18:07:06 +0100 Guido Berhoerster Show URL of each feed as a tooltip in the feed selection popup