# HG changeset patch # User Da Risk # Date 1355591742 -3600 # Node ID 9120606d6526d14a64dbe7b1f555692be35a6360 # Parent c3598834218be6be6e8afdf0d4129179163dec97 Replace preference keys for specific server settings diff -r c3598834218b -r 9120606d6526 res/xml/preferences.xml --- a/res/xml/preferences.xml Fri Dec 07 00:43:25 2012 +0100 +++ b/res/xml/preferences.xml Sat Dec 15 18:15:42 2012 +0100 @@ -141,15 +141,15 @@ + android:key="account_specific_server" /> + android:key="account_specific_server_host" android:hint="@string/comments_xmpp_server" />