change default phonies key name so upgrading users will still get the

new value.
This commit is contained in:
Andy2 2010-06-30 19:35:18 -07:00
parent 769d9a6a23
commit 2b23c50a70

View file

@ -30,7 +30,7 @@
<string name="key_board_size">key_board_size</string>
<string name="key_initial_player_minutes">key_initial_player_minutes</string>
<string name="key_default_dict">key_default_dict</string>
<string name="key_default_phonies">key_default_phonies</string>
<string name="key_default_phonies">key_default_phonies2</string>
<string name="key_default_timerenabled">key_default_timerenabled</string>
<!-- other -->