arkon 912687ac78 Adjust download badge color again		2020-08-02 23:03:24 -04:00
..
api	Adjust download badge color again	2020-08-02 23:03:24 -04:00
model	Better distinguish between obsolete and unofficial extensions	2020-05-13 22:47:44 -04:00
util	More core-ktx usages	2020-07-31 10:29:32 -04:00
ExtensionManager.kt	Add operator functions for handling set preferences	2020-07-25 18:07:10 -04:00
ExtensionUpdateJob.kt	Linting fixes	2020-04-25 14:24:45 -04:00