{"version":3,"file":"settings.d.ts","sourceRoot":"","sources":["../../src/vscode/settings.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAElD,wBAAgB,sBAAsB,IAAI,cAAc,CAoBvD"}