We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent edc79e7 commit e7dc205Copy full SHA for e7dc205
arduino-ide-extension/src/browser/arduino-preferences.ts
@@ -83,7 +83,7 @@ export const ArduinoConfigSchema: PreferenceSchema = {
83
default: 'https://downloads.arduino.cc/arduino-ide',
84
description: nls.localize(
85
'arduino/preferences/ide.updateBaseUrl',
86
- `The base URL where to download updates from. Defaults to 'https://downloads.arduino.cc/arduino-ide'`
+ "The base URL where to download updates from. Defaults to 'https://downloads.arduino.cc/arduino-ide'"
87
),
88
},
89
'arduino.board.certificates': {
0 commit comments