Eric House 019daa6b84 Fix robot and human default dicts being able to be of different ... languages: add new languages pref above the two, filter their choices to be limited to that language, and change them to the first dict of the new language when it's changed.		2014-10-09 08:03:25 -07:00
..
R.java	Fix robot and human default dicts being able to be of different	2014-10-09 08:03:25 -07:00