Browsing tag: terminal shortcut  

Terminal in UserMenu

A launcher for the GNOME Terminal

Nov 14th 2012, 10:50 GMT