../ gnome-terminal-3.16.2-restore-dark.patch 09-Aug-2015 00:38 7832 gnome-terminal-3.16.2-restore-transparency.patch 09-Aug-2015 00:38 54792 gnome-terminal-3.18.2-dark-theme.patch 14-Nov-2015 13:45 7812 gnome-terminal-3.18.2-transparency-fix-for-brok..> 14-Nov-2015 13:45 2348 gnome-terminal-3.18.2-transparency.patch 14-Nov-2015 13:45 13832