From be3fead57487de0c9544380868862e70232276ec Mon Sep 17 00:00:00 2001
From: mjalalzai <33738574+MForensic@users.noreply.github.com>
Date: Tue, 21 Mar 2023 00:25:40 -0700
Subject: [PATCH] timeout

---
 .idea/markdown.xml | 6 ++++++
 .idea/misc.xml     | 4 ++++
 2 files changed, 10 insertions(+)
 create mode 100644 .idea/markdown.xml
 create mode 100644 .idea/misc.xml

diff --git a/.idea/markdown.xml b/.idea/markdown.xml
new file mode 100644
index 0000000..f6d2542
--- /dev/null
+++ b/.idea/markdown.xml
@@ -0,0 +1,6 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="MarkdownSettings">
+    <option name="showProblemsInCodeBlocks" value="false" />
+  </component>
+</project>
\ No newline at end of file
diff --git a/.idea/misc.xml b/.idea/misc.xml
new file mode 100644
index 0000000..64d0f4a
--- /dev/null
+++ b/.idea/misc.xml
@@ -0,0 +1,4 @@
+<?xml version="1.0" encoding="UTF-8"?>
+<project version="4">
+  <component name="ProjectRootManager" version="2" project-jdk-name="Python 3.9 (nomos-specs)" project-jdk-type="Python SDK" />
+</project>
\ No newline at end of file