From ca3efd9f74cfcbfdf56fc832422cd71ed72a1e6f Mon Sep 17 00:00:00 2001
From: PhucVR <59957741+nguyenphuc22@users.noreply.github.com>
Date: Wed, 15 May 2024 19:31:05 +0700
Subject: [PATCH] Update links in workspace.xml and hi.tree files
---
.idea/workspace.xml | 17 +++++++----------
Writerside/hi.tree | 2 +-
2 files changed, 8 insertions(+), 11 deletions(-)
diff --git a/.idea/workspace.xml b/.idea/workspace.xml
index a17b1e5..d19986a 100644
--- a/.idea/workspace.xml
+++ b/.idea/workspace.xml
@@ -5,16 +5,7 @@
-
-
-
-
-
-
-
-
-
-
+
@@ -106,6 +97,12 @@
"kotlin-language-version-configured": "true",
"last_opened_file_path": "/Users/phucnguyen/Documents/GitHub/Design-Patterns",
"settings.editor.selected.configurable": "fileTemplates"
+ },
+ "keyToStringList": {
+ "stardust.markdown.MarkdownSplitEditorSuppressor:keyList": [
+ "/Users/phucnguyen/Documents/GitHub/Design-Patterns/Writerside/topics/Builder.md",
+ "/Users/phucnguyen/Documents/GitHub/Design-Patterns/Writerside/topics/Singleton.md"
+ ]
}
}]]>
diff --git a/Writerside/hi.tree b/Writerside/hi.tree
index 0c7ab75..ff80c5d 100644
--- a/Writerside/hi.tree
+++ b/Writerside/hi.tree
@@ -3,7 +3,7 @@
SYSTEM "https://resources.jetbrains.com/writerside/1.0/product-profile.dtd">