revert protocol to 0.31.0-rc.1 equivalent

arduino · davegarthsimpson · Feb 27, 2023 · Feb 13, 2023 · Feb 22, 2023 · Feb 22, 2023
commit 3f1609f11ffc7fe4bc12bc9d003e652e036c7412
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
+// -------------------