From ca5760d5e02f837242cdde07d77afd5a22fec7b7 Mon Sep 17 00:00:00 2001
From: Stefano Pigozzi <me@steffo.eu>
Date: Fri, 14 Apr 2023 23:20:35 +0200
Subject: [PATCH] Change file colors

---
 .idea/patched-porobot.iml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.idea/patched-porobot.iml b/.idea/patched-porobot.iml
index 2c5f373..0ce1672 100644
--- a/.idea/patched-porobot.iml
+++ b/.idea/patched-porobot.iml
@@ -5,7 +5,6 @@
     <content url="file://$MODULE_DIR$">
       <sourceFolder url="file://$MODULE_DIR$/src" isTestSource="false" />
       <sourceFolder url="file://$MODULE_DIR$/benches" isTestSource="true" />
-      <sourceFolder url="file://$MODULE_DIR$/examples" isTestSource="false" />
       <sourceFolder url="file://$MODULE_DIR$/examples" isTestSource="true" />
       <sourceFolder url="file://$MODULE_DIR$/data" type="java-resource" />
       <sourceFolder url="file://$MODULE_DIR$/tests" isTestSource="true" />