mirror of
https://github.com/wavetermdev/waveterm.git
synced 2024-12-22 16:48:23 +01:00
5a0effb691
* nice. bottom done * work on adding workspaces * starting on Tabs
17 lines
443 B
JSON
17 lines
443 B
JSON
{
|
|
"include": ["src/**/*", "types/**/*"],
|
|
"compilerOptions": {
|
|
"target": "es5",
|
|
"module": "commonjs",
|
|
"jsx": "react",
|
|
"strict": true,
|
|
"esModuleInterop": true,
|
|
"skipLibCheck": true,
|
|
"forceConsistentCasingInFileNames": true,
|
|
"moduleResolution": "node",
|
|
"allowSyntheticDefaultImports": true,
|
|
"resolveJsonModule": true,
|
|
"isolatedModules": true
|
|
}
|
|
}
|