log sidebar/tab-collection-manager.html @ 5:9d699dc7823d

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