From 46047b557b6bfaf3fbc6669c2b8ad5c4aef9d2a7 Mon Sep 17 00:00:00 2001
From: martin <martin@comcarde.com>
Date: Fri, 1 Jun 2018 10:00:24 +0100
Subject: [PATCH] WS-2018.1 <martin@Squinty.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 08ec2df..0000000
--- a/docker.xml
+++ /dev/null
@@ -1,5 +0,0 @@
-<application>
-  <component name="DockerSettings">
-    <option name="dockerMachinePath" value="/usr/local/bin/docker-machine" />
-  </component>
-</application>
\ No newline at end of file