Jonah Graham 0aecc58552 Bug 527055: Save terminal settings even when there is only one terminal type ... Change-Id: I411bb5c815590c7f9929694e0256596b601606fa		2020-05-10 10:58:03 -04:00
..
admin	Bug 559474: Remove unneeded .settings directory	2020-01-31 13:20:47 -05:00
features	[releng] Bump version to 10.0.0	2020-04-11 17:46:58 -04:00
plugins	Bug 527055: Save terminal settings even when there is only one terminal type	2020-05-10 10:58:03 -04:00
.gitignore	Move terminal files into subfolder	2018-08-28 12:54:02 -04:00
CONTRIBUTING	Move terminal files into subfolder	2018-08-28 12:54:02 -04:00
pom.xml	[releng] Bump version to 10.0.0	2020-04-11 17:46:58 -04:00