Bruce Leidl 7336bc9e99 upgrade gnome terminal		2018-03-18 19:22:59 -04:00
..
50_gnome-terminal.gschema.override	upgrade gnome terminal	2018-03-18 19:22:59 -04:00
gnome-terminal-citadel.service	upgrade gnome terminal	2018-03-18 19:22:59 -04:00
org.gnome.TerminalCitadel.desktop	upgrade gnome terminal	2018-03-18 19:22:59 -04:00
org.gnome.TerminalCitadel.service	upgrade gnome terminal	2018-03-18 19:22:59 -04:00