From 00a8ba1753660ee9dfb2429887f80323d1ddcbbe Mon Sep 17 00:00:00 2001 From: zhm-real Date: Wed, 8 Jul 2020 10:39:30 -0700 Subject: [PATCH] Update workspace.xml --- Search-based Planning/.idea/workspace.xml | 7 ++----- 1 file changed, 2 insertions(+), 5 deletions(-) diff --git a/Search-based Planning/.idea/workspace.xml b/Search-based Planning/.idea/workspace.xml index 965cec8..0aedfb1 100644 --- a/Search-based Planning/.idea/workspace.xml +++ b/Search-based Planning/.idea/workspace.xml @@ -21,9 +21,6 @@ - - - - +