mirror of
https://github.com/mongodb/mongo.git
synced 2024-11-24 00:17:37 +01:00
f7fbfe5564
GitOrigin-RevId: d1458aa7e3eb539ea9a9b31cdf7fdd04980231a5
13 lines
245 B
JSON
13 lines
245 B
JSON
{
|
|
"compilerOptions": {
|
|
"baseUrl": ".",
|
|
"disableSizeLimit": true,
|
|
"target": "ES2020"
|
|
},
|
|
"include": [
|
|
"jstests/**/*.js",
|
|
"src/mongo/shell/*.js",
|
|
"src/third_party/fast_check/**/*"
|
|
]
|
|
}
|