arduino
diff --git a/‎rpc/cc/arduino/cli/commands/v1/common.pb.go
Lines changed: 13 additions & 2 deletions b/‎rpc/cc/arduino/cli/commands/v1/common.pb.go
Lines changed: 13 additions & 2 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
@@ -178,6 +178,8 @@ message Profile {
   string name = 1;
   // FQBN specified in the profile.
   string fqbn = 2;
+  // Programmer specified in the profile.
+  string programmer = 3;
 }
 
 message HelpResources {
Original file line number	Diff line number	Diff line change
`@@ -178,6 +178,8 @@ message Profile {`
`178`	`178`	`string name = 1;`
`179`	`179`	`// FQBN specified in the profile.`
`180`	`180`	`string fqbn = 2;`
	`181`	`+ // Programmer specified in the profile.`
	`182`	`+ string programmer = 3;`
`181`	`183`	`}`
`182`	`184`
`183`	`185`	`message HelpResources {`