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

[Maxime Gauduin]

On Tue, Apr 1, 2014 at 9:44 AM, Gary van der Merwe <gary...@gmail.com>wrote:

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

Done, please include a link next time.

-- 
Maxime