1234567891011121314151617{ "folders": [ { "path": "." } ], "settings": { "files.exclude": { "**/*.aux": true, "**/*.fdb_latexmk": true, "**/*.fls": true, "**/*.log": true, "**/*.out": true, "**/*.synctex.gz": true } }}
