From d8a66ff5e77c46bc76bd1bb780ac34f08af1be21 Mon Sep 17 00:00:00 2001 From: zhm-real Date: Sat, 20 Jun 2020 13:45:40 -0700 Subject: [PATCH] Update workspace.xml --- Search-based Planning/.idea/workspace.xml | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/Search-based Planning/.idea/workspace.xml b/Search-based Planning/.idea/workspace.xml index b4897c4..cab3a84 100644 --- a/Search-based Planning/.idea/workspace.xml +++ b/Search-based Planning/.idea/workspace.xml @@ -1,10 +1,7 @@ - - - - +