{"version":3,"file":"ExtOptions.js","sourceRoot":"","sources":["../../src/ExtOptions.ts"],"names":[],"mappings":""}