arduino
diff --git a/‎rpc/cc/arduino/cli/commands/v1/common.pb.go
Lines changed: 25 additions & 13 deletions b/‎rpc/cc/arduino/cli/commands/v1/common.pb.go
Lines changed: 25 additions & 13 deletions
diff --git a/‎rpc/cc/arduino/cli/commands/v1/common.proto
Lines changed: 2 additions & 0 deletions b/‎rpc/cc/arduino/cli/commands/v1/common.proto
Lines changed: 2 additions & 0 deletions
@@ -201,6 +201,8 @@ message Sketch {
   repeated SketchProfile profiles = 9;
   // Default profile set in the project file (sketch.yaml)
   SketchProfile default_profile = 10;
+  // Default Programmer set in project file (sketch.yaml)
+  string default_programmer = 11;
 }
 
 message SketchProfile {
Original file line number	Diff line number	Diff line change
`@@ -201,6 +201,8 @@ message Sketch {`
`201`	`201`	`repeated SketchProfile profiles = 9;`
`202`	`202`	`// Default profile set in the project file (sketch.yaml)`
`203`	`203`	`SketchProfile default_profile = 10;`
	`204`	`+ // Default Programmer set in project file (sketch.yaml)`
	`205`	`+ string default_programmer = 11;`
`204`	`206`	`}`
`205`	`207`
`206`	`208`	`message SketchProfile {`