From e37ec7e6424a2eef937ff71e46560c985407249f Mon Sep 17 00:00:00 2001
From: Tony Garnock-Jones <tonyg@leastfixedpoint.com>
Date: Sat, 28 Oct 2023 15:31:09 +0200
Subject: [PATCH] IDEA seems not to want the XML declaration anymore

---
 .idea/misc.xml | 1 -
 1 file changed, 1 deletion(-)

diff --git a/.idea/misc.xml b/.idea/misc.xml
index fb40be9..b081221 100644
--- a/.idea/misc.xml
+++ b/.idea/misc.xml
@@ -1,4 +1,3 @@
-<?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
   <component name="ProjectRootManager" version="2" languageLevel="JDK_16" project-jdk-name="17" project-jdk-type="JavaSDK">
     <output url="file://$PROJECT_DIR$/out" />