Re: [aur-general] Delete request: gnome-terminal-dark

2014-04-01 Thread Maxime Gauduin
On Tue, Apr 1, 2014 at 9:44 AM, Gary van der Merwe wrote: > Please delete gnome-terminal-dark. There is now a preference to do this. > Done, please include a link next time. -- Maxime

[aur-general] Delete request: gnome-terminal-dark

2014-04-01 Thread Gary van der Merwe
Please delete gnome-terminal-dark. There is now a preference to do this.