Daniel Imms b5be5c06ad Merge branch 'master' into addons_in_repo

2019-06-01 14:36:55 -07:00

..

AddonManager.test.ts

Add new search addon, move AddonManager to public

2019-05-12 10:22:29 -07:00

AddonManager.ts

Fix new addon dispose

2019-05-21 16:26:50 -07:00

Terminal.api.ts

Up timeouts

2019-05-25 21:25:56 -07:00

Terminal.ts

Introduce options service

2019-06-01 09:29:11 -07:00