| commit | 72cf6f87393e74acb31b8d041b021d1556d7ef08 | [log] [tgz] |
|---|---|---|
| author | margaretha <margaretha@ids-mannheim.de> | Fri Nov 08 12:03:56 2024 +0100 |
| committer | margaretha <margaretha@ids-mannheim.de> | Fri Nov 08 12:03:56 2024 +0100 |
| tree | c4e251a5a3e4499eeca606b7471b0064c676713c | |
| parent | 49ec47baa6be72de4cbc85317996d2143942f86b [diff] |
Update maven config. Change-Id: I07175217966334aa7a2253656762fc299a8dd496
diff --git a/.mvn/maven.config b/.mvn/maven.config index d97a699..8235195 100644 --- a/.mvn/maven.config +++ b/.mvn/maven.config
@@ -1 +1,2 @@ ---settings ./.mvn/local-settings.xml +--settings +./.mvn/local-settings.xml \ No newline at end of file