From 6b1989a2fe53704548464c3386553af2c9ba8b46 Mon Sep 17 00:00:00 2001
From: Benoit Marty <benoitm@matrix.org>
Date: Wed, 6 Dec 2023 16:54:04 +0100
Subject: [PATCH] AS suggested to add this to git.

---
 .idea/migrations.xml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .idea/migrations.xml

diff --git a/.idea/migrations.xml b/.idea/migrations.xml
new file mode 100644
index 0000000000..f8051a6f97
--- /dev/null
+++ b/.idea/migrations.xml
@@ -0,0 +1,10 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectMigrations">
+    <option name="MigrateToGradleLocalJavaHome">
+      <set>
+        <option value="$PROJECT_DIR$" />
+      </set>
+    </option>
+  </component>
+</project>
\ No newline at end of file