From 9559e9f601be0999669ebe420c4cc9aa20372896 Mon Sep 17 00:00:00 2001
From: Daniel Langbein <daniel@systemli.org>
Date: Sun, 13 Aug 2023 16:29:54 +0200
Subject: [PATCH] chore: misc.xml without header

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

diff --git a/.idea/misc.xml b/.idea/misc.xml
index 7174e2d..b4cf7c8 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" project-jdk-name="Python 3.10 (venv-310)" project-jdk-type="Python SDK" />
 </project>
\ No newline at end of file