mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-11-11 19:29:28 +00:00
Updated the application name, version to 0.0.2.
Increased the heap size for the packager. Signed-off-by: Akos Kitta <kittaakos@typefox.io>
This commit is contained in:
@@ -133,7 +133,7 @@ export default new ContainerModule((bind, unbind, isBound, rebind) => {
|
||||
return parentLogger.child('discovery');
|
||||
}).inSingletonScope().whenTargetNamed('discovery');
|
||||
|
||||
// Default workspace server extension to initialize and use a fallback workspace (`~/Arduino-PoC/workspace/`)
|
||||
// Default workspace server extension to initialize and use a fallback workspace.
|
||||
// If nothing was set previously.
|
||||
bind(DefaultWorkspaceServerExt).toSelf().inSingletonScope();
|
||||
rebind(WorkspaceServer).toService(DefaultWorkspaceServerExt);
|
||||
|
||||
Reference in New Issue
Block a user