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