From 4abdfefde968874c9d21a2d227fd8557df32236b Mon Sep 17 00:00:00 2001
From: martin <martin@comcarde.com>
Date: Wed, 30 May 2018 09:47:54 +0100
Subject: [PATCH] WS-2018.1 <martin@Squinty.local Create docker.xml

---
 docker.xml | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 docker.xml

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