100644 blob 2391f45c3c5d6a92c6fb8f3c0e10c7642dceb893	Option.ts
100644 blob 78f36925dbe021d8606745b18bbdf6a255e76fa5	OptionsConfiguration.ts
100644 blob 138da076e8a4af97c61b4596be593550c6f8e3ba	OptionsProvider.ts
100644 blob f00513150a1bb2106138af3a72c276c58500a258	optionsPermissions.js
100644 blob c42b69683586d17851830199823251acd351f83f	optionsPrototype.ts
100644 blob 055e46bb2ec986c6ce81da90f33ebe58ca7093b3	optionsUtils.js
100644 blob 261a6d4f380f5fd6f5de6510b1eb84e0bd5e8538	partialOptionsWatcher.js
100644 blob 37b69fac7801fae70e5ec51a53aa13a04aac9ca7	specialOptions.json5