1 Apr
2014
1 Apr
'14
10:52 a.m.
On Tue, Apr 1, 2014 at 9:44 AM, Gary van der Merwe <garyvdm@gmail.com>wrote:
Please delete gnome-terminal-dark. There is now a preference to do this.
Done, please include a link next time. -- Maxime