From 44dbc5641331fbc4c5ffee1fed613230edcfb5d5 Mon Sep 17 00:00:00 2001 From: Marius Gavrilescu Date: Sat, 27 Jul 2013 09:59:47 +0300 Subject: [PATCH] Set default server port to 7777 --- res/xml/prefs.xml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/res/xml/prefs.xml b/res/xml/prefs.xml index 5911061..ceaf223 100644 --- a/res/xml/prefs.xml +++ b/res/xml/prefs.xml @@ -8,5 +8,5 @@ - + -- 2.30.2