Please delete gnome-terminal-dark. There is now a preference to do this.
- [aur-general] Delete request: gnome-terminal-dark Gary van der Merwe
- Re: [aur-general] Delete request: gnome-terminal-d... Maxime Gauduin
Please delete gnome-terminal-dark. There is now a preference to do this.