GitHub repository: vzhestkov/topIconsExt
Primary language: JavaScript
Created: 2018-10-02T08:54:59Z
Description: The fork of TopIcons and TopIcons Plus gnome shell extensions