From 1e363e63b52797407df47a460af261e5cb11acef Mon Sep 17 00:00:00 2001
From: Martin Donnelly <martind2000@gmail.com>
Date: Sun, 24 Jun 2018 23:06:15 +0100
Subject: [PATCH] WS-2018.1 <martin@martins-imac-2.local Delete docker.xml

---
 docker.xml | 5 -----
 1 file changed, 5 deletions(-)
 delete mode 100644 docker.xml

diff --git a/docker.xml b/docker.xml
deleted file mode 100644
index 0eb4334..0000000
--- a/docker.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<application>
-  <component name="DockerSettings">
-    <option name="dockerMachinePath" value="docker-machine" />
-  </component>
-</application>
\ No newline at end of file