diff --git a/platform/util/resources/misc/registry.properties b/platform/util/resources/misc/registry.properties index 904eb968f67f..a58af1a98ce0 100644 --- a/platform/util/resources/misc/registry.properties +++ b/platform/util/resources/misc/registry.properties @@ -786,4 +786,7 @@ rainbow.highlighter.colors.description=List of colors for rainbow highlighter in ide.new.icons=false ide.new.icons.restartRequired=true -ide.new.icons.description=Trying new platform icons \ No newline at end of file +ide.new.icons.description=Trying new platform icons + +ide.remote.interpreters.use.rsync=true +ide.remote.interpreters.use.rsync.description=Use rsync utility to synchronize remote interpreters and local stubs