@theia/core 1.71.0-next.41 → 1.71.0-next.43
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/lib/browser/catalog.json +6 -0
- package/package.json +4 -4
package/lib/browser/catalog.json
CHANGED
|
@@ -2649,6 +2649,12 @@
|
|
|
2649
2649
|
"description": "Esquio configuration files",
|
|
2650
2650
|
"url": "https://www.schemastore.org/esquio.json"
|
|
2651
2651
|
},
|
|
2652
|
+
{
|
|
2653
|
+
"name": "estampo.toml",
|
|
2654
|
+
"description": "Configuration for estampo, the build system for reproducible 3D prints",
|
|
2655
|
+
"fileMatch": ["estampo.toml", "estampo.*.toml"],
|
|
2656
|
+
"url": "https://raw.githubusercontent.com/estampo/estampo/main/docs/estampo.schema.json"
|
|
2657
|
+
},
|
|
2652
2658
|
{
|
|
2653
2659
|
"name": "epr-manifest.json",
|
|
2654
2660
|
"description": "Entry Point Regulation manifest file",
|
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@theia/core",
|
|
3
|
-
"version": "1.71.0-next.
|
|
3
|
+
"version": "1.71.0-next.43+e960af22f",
|
|
4
4
|
"description": "Theia is a cloud & desktop IDE framework implemented in TypeScript.",
|
|
5
5
|
"main": "lib/common/index.js",
|
|
6
6
|
"typings": "lib/common/index.d.ts",
|
|
@@ -17,8 +17,8 @@
|
|
|
17
17
|
"@lumino/virtualdom": "^2.0.4",
|
|
18
18
|
"@lumino/widgets": "2.7.5",
|
|
19
19
|
"@parcel/watcher": "^2.5.6",
|
|
20
|
-
"@theia/application-package": "1.71.0-next.
|
|
21
|
-
"@theia/request": "1.71.0-next.
|
|
20
|
+
"@theia/application-package": "1.71.0-next.43+e960af22f",
|
|
21
|
+
"@theia/request": "1.71.0-next.43+e960af22f",
|
|
22
22
|
"@types/body-parser": "^1.19.6",
|
|
23
23
|
"@types/express": "^4.17.21",
|
|
24
24
|
"@types/fs-extra": "^4.0.2",
|
|
@@ -221,5 +221,5 @@
|
|
|
221
221
|
"nyc": {
|
|
222
222
|
"extends": "../../configs/nyc.json"
|
|
223
223
|
},
|
|
224
|
-
"gitHead": "
|
|
224
|
+
"gitHead": "e960af22fd0721f7cd4a8f7d66e6e9d10c801962"
|
|
225
225
|
}
|