100644 blob 2391f45c3c5d6a92c6fb8f3c0e10c7642dceb893	Option.ts
100644 blob 78f36925dbe021d8606745b18bbdf6a255e76fa5	OptionsConfiguration.ts
100644 blob 138da076e8a4af97c61b4596be593550c6f8e3ba	OptionsProvider.ts
100644 blob 4dea4bca03f91d44e22e8eb54c3b9e75ced8ae92	optionsPermissions.js
100644 blob a5f7a933f824dd34abe65fe19f9bdf23e839cd90	optionsPrototype.ts
100644 blob 055e46bb2ec986c6ce81da90f33ebe58ca7093b3	optionsUtils.js
100644 blob 261a6d4f380f5fd6f5de6510b1eb84e0bd5e8538	partialOptionsWatcher.js
100644 blob ada9ac4ca206f1ecb651f6376a975cadf459ef60	specialOptions.json5