From 24e873cd7c2608e642fd6e90460bc98079ba4e27 Mon Sep 17 00:00:00 2001 From: Phillip Webb Date: Wed, 25 Jul 2018 16:39:44 +0100 Subject: [PATCH] Move files from /.eclipse into /eclipse Move the `eclipse.properties` file from `.eclipse` into `eclipse` since the IDE plugin supports both. --- {.eclipse => eclipse}/eclipse.properties | 0 1 file changed, 0 insertions(+), 0 deletions(-) rename {.eclipse => eclipse}/eclipse.properties (100%) diff --git a/.eclipse/eclipse.properties b/eclipse/eclipse.properties similarity index 100% rename from .eclipse/eclipse.properties rename to eclipse/eclipse.properties