diff --git a/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml b/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml index 36d3d0218ac..29945bb71f8 100644 --- a/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml +++ b/toolchains/arduino/org.eclipse.cdt.arduino.ui/plugin.xml @@ -41,7 +41,8 @@ + property="org.eclipse.remote.core.isConnectionType" + value="org.eclipse.cdt.arduino.core.connectionType">