David Guglielmi cda754c221 - x11-terms/gnome-terminal: Bump to 3.14.2-r2.

2015-03-15 19:43:55 +01:00

..

gnome-terminal-3.12-restore-transparency.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.12.0-fallback-title-1.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.12.0-fallback-title-2.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.12.0-remove-set-title-feature-0.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.12.0-remove-set-title-feature-1.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.12.0-remove-set-title-feature-2.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.12.0-remove-set-title-feature-3.patch

- Add x11-terms/gnome-terminal with Fedora transparency patch.

2014-08-09 18:30:38 +02:00

gnome-terminal-3.14.2-fix-crash.patch

- x11-terms/gnome-terminal: Bump to 3.14.2-r2.

2015-03-15 19:43:55 +01:00

gnome-terminal-3.14.2-restore-transparency.patch

- x11-terms/gnome-terminal: Bump to 3.14.2-r2.

2015-03-15 19:43:55 +01:00

gnome-terminal-3.14.2-title-option.patch

- x11-terms/gnome-terminal: Bump to 3.14.2-r2.

2015-03-15 19:43:55 +01:00