Viewing all changes in revision 448.2.14.
- Committer: Marco Trevisan (Treviño)
- Date: 2015-09-09 18:22:06 UTC
- mto: This revision was merged to the branch mainline in revision 451.
- Revision ID: mail@3v1n0.net-20150909182206-qtr5htm5znf18deb
GnomeTerminal: use less custom theming for gnome-terminal
We only need some upstream patching, see gnome bug
https://bugzilla.gnome.org/show_bug.cgi?id=754796
We only need some upstream patching, see gnome bug
https://bugzilla.gnome.org/show_bug.cgi?id=754796
expand all
collapse all
added
removed
