log sidebar/tab-collection-manager.html @ 2:49ec0da1e698

age author description
Wed, 21 Nov 2018 11:39:07 +0100 Guido Berhoerster Replace tab list scroll bar with scroll buttons
Sat, 17 Nov 2018 10:44:16 +0100 Guido Berhoerster Initial revision