add dev profile to settings

2023-12-13 11:31:32 +02:00 · 2023-12-13 11:31:32 +02:00 · 0b64ec24b1
parent d40e58d06c
commit 0b64ec24b1
1 changed files with 0 additions and 2 deletions
--- a/settings.xml
+++ b/settings.xml
@ -5,8 +5,6 @@
 			<username>${server_username}</username>
 			<password>${server_password}</password>
 		</server>
-	</servers>
-	<servers>
 		<server>
 			<id>dev</id>
 			<username>${server_username}</username>