ocr fix

2022-11-09 19:07:35 +08:00
parent 7d5369cf8d
commit 5eb9a94184
9 changed files with 48 additions and 20 deletions
@@ -1,5 +1,8 @@
 <?xml version="1.0" encoding="UTF-8"?>
 <project version="4">
+  <component name="GitSharedSettings">
+    <option name="synchronizeBranchProtectionRules" value="false" />
+  </component>
  <component name="VcsDirectoryMappings">
    <mapping directory="$PROJECT_DIR$" vcs="Git" />
  </component>