From 32bca6679461ebeffcd170e91ea91851ccc1c9ba Mon Sep 17 00:00:00 2001
From: Norman Maurer <norman_maurer@apple.com>
Date: Tue, 19 Mar 2019 14:03:15 +0100
Subject: [PATCH] Add .gitignore for docker-sync stuff

Motivation:

df8b9d3fb9348cbcffd246331c5441f2f25bec64 added config files for docker-sync but missed to add a gitignore for .docker-sync

Modifications:

Add .docker-sync to gitignore

Result:

Ignore .docker-sync directory
---
 .gitignore | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/.gitignore b/.gitignore
index ed43883f5b..bcee2d2d9b 100644
--- a/.gitignore
+++ b/.gitignore
@@ -37,3 +37,7 @@ dependency-reduced-pom.xml
 # exclude mainframer files
 mainframer
 .mainframer
+
+# exclude docker-sync stuff
+.docker-sync
+*/.docker-sync