瀏覽代碼

Update workspace.xml

zhm-real 5 年之前
父節點
當前提交
7dc5d43653
共有 1 個文件被更改,包括 0 次插入1 次删除
  1. 0 1
      Search-based Planning/.idea/workspace.xml

+ 0 - 1
Search-based Planning/.idea/workspace.xml

@@ -21,7 +21,6 @@
   <component name="ChangeListManager">
     <list default="true" id="025aff36-a6aa-4945-ab7e-b2c625055f47" name="Default Changelist" comment="">
       <change beforePath="$PROJECT_DIR$/.idea/workspace.xml" beforeDir="false" afterPath="$PROJECT_DIR$/.idea/workspace.xml" afterDir="false" />
-      <change beforePath="$PROJECT_DIR$/Search_2D/D_star.py" beforeDir="false" afterPath="$PROJECT_DIR$/Search_2D/D_star.py" afterDir="false" />
     </list>
     <option name="EXCLUDED_CONVERTED_TO_IGNORED" value="true" />
     <option name="SHOW_DIALOG" value="false" />