From 1681377b4c11e8b28088f9011f2ebac5eff80187 Mon Sep 17 00:00:00 2001
From: Michal Svamberg <svamberg@civ.zcu.cz>
Date: Tue, 14 Mar 2023 16:53:48 +0100
Subject: [PATCH] Add idea config file

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

diff --git a/.idea/git_toolbox_prj.xml b/.idea/git_toolbox_prj.xml
new file mode 100644
index 0000000..02b915b
--- /dev/null
+++ b/.idea/git_toolbox_prj.xml
@@ -0,0 +1,15 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="GitToolBoxProjectSettings">
+    <option name="commitMessageIssueKeyValidationOverride">
+      <BoolValueOverride>
+        <option name="enabled" value="true" />
+      </BoolValueOverride>
+    </option>
+    <option name="commitMessageValidationEnabledOverride">
+      <BoolValueOverride>
+        <option name="enabled" value="true" />
+      </BoolValueOverride>
+    </option>
+  </component>
+</project>
\ No newline at end of file
-- 
GitLab