On Tue, Apr 1, 2014 at 9:44 AM, Gary van der Merwe <[email protected]>wrote:

> Please delete gnome-terminal-dark. There is now a preference to do this.
>

Done, please include a link next time.

-- 
Maxime

Reply via email to