mintmenu/usr/lib/linuxmint
Clement Lefebvre 298f565998 Merge pull request #170 from JosephMcc/custom-borders
Remove the ability to set a custom border
2017-05-02 13:10:10 +01:00
..
mintMenu Merge pull request #170 from JosephMcc/custom-borders 2017-05-02 13:10:10 +01:00