Jobobby04 d7647a2768 Fix extension notifications

2020-05-31 13:41:50 -04:00

..

api

Fix extension notifications

2020-05-31 13:41:50 -04:00

model

Show all installed extensions but label extensions that were hidden before as redundant

2020-05-30 14:12:23 -04:00

util

Better distinguish between obsolete and unofficial extensions

2020-05-22 17:50:07 -04:00

ExtensionManager.kt

Show all installed extensions but label extensions that were hidden before as redundant

2020-05-30 14:12:23 -04:00

ExtensionUpdateJob.kt

Linting fixes

2020-04-25 14:24:45 -04:00