From b239916046f11bd0c9477db0d59d59abeee45984 Mon Sep 17 00:00:00 2001
From: Tuukka Lehtonen <tuukka.lehtonen@semantum.fi>
Date: Mon, 27 Apr 2020 20:13:22 +0300
Subject: [PATCH] Removed settings.xml as unnecessary.

Change-Id: I7192aa6186a0f6cc5e304a25d9450db6e99bd65f
---
 README.md    |  7 ++-----
 settings.xml | 13 -------------
 2 files changed, 2 insertions(+), 18 deletions(-)
 delete mode 100644 settings.xml

diff --git a/README.md b/README.md
index c819359db..f5ede6568 100644
--- a/README.md
+++ b/README.md
@@ -13,11 +13,8 @@ Two plug-ins need to be installed into the IDE from P2 repositories:
 ## Building
 
 To build the platform, run:
-mvn -s settings.xml package
+mvn package
 
 or to run unit tests as well:
-mvn -s settings.xml verify
+mvn verify
 
-If you're building the platform inside Eclipse IDE, remember to give
-the settings.xml file to the Maven / User Settings preference page
-User Settings field.
diff --git a/settings.xml b/settings.xml
deleted file mode 100644
index 1aabd4d98..000000000
--- a/settings.xml
+++ /dev/null
@@ -1,13 +0,0 @@
-<settings xmlns="http://maven.apache.org/SETTINGS/1.0.0"
-          xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
-          xsi:schemaLocation="http://maven.apache.org/SETTINGS/1.0.0
-                      http://maven.apache.org/xsd/settings-1.0.0.xsd">
-  <servers>
-    <server>
-      <id>graph-builder-snapshot</id>
-      <username>graph-builder</username>
-      <password>graph-builder</password>
-    </server>
-  </servers>
-</settings>
-
-- 
2.43.2