From 094621f4b9be46b98856c35ee4dfa78216cd1102 Mon Sep 17 00:00:00 2001 From: Bastien Sultan <bastien.sultan@telecom-paris.fr> Date: Thu, 19 Jan 2023 11:07:12 +0100 Subject: [PATCH] [AMULET] Patching a bug affecting signal operators modifications --- .idea/runConfigurations.xml | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 .idea/runConfigurations.xml diff --git a/.idea/runConfigurations.xml b/.idea/runConfigurations.xml new file mode 100644 index 0000000000..a1fe99eb3b --- /dev/null +++ b/.idea/runConfigurations.xml @@ -0,0 +1,10 @@ +<?xml version="1.0" encoding="UTF-8"?> +<project version="4"> + <component name="RunConfigurationProducerService"> + <option name="ignoredProducers"> + <set> + <option value="com.android.tools.idea.compose.preview.runconfiguration.ComposePreviewRunConfigurationProducer" /> + </set> + </option> + </component> +</project> -- GitLab