re-gen protocol with 0.31.0-rc.1

davegarthsimpson · davegarthsimpson · commit 491b7574cdaa · 2023-02-22T12:00:52.000+01:00
diff --git a/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/commands_grpc_pb.js b/arduino-ide-extension/src/node/cli-protocol/cc/arduino/cli/commands/v1/commands_grpc_pb.js
@@ -1333,3 +1333,5 @@ enumerateMonitorPortSettings: {
   },
 };
 
+// BOOTSTRAP COMMANDS
+// -------------------
