davidak 64340f42c1 pantheon-terminal: fixes #10171 Using the 'memory' GSettings backend		2018-03-27 14:45:40 +02:00
..
apps/pantheon-terminal	pantheon-terminal: fixes #10171 Using the 'memory' GSettings backend	2018-03-27 14:45:40 +02:00