| commit | 9e95e6389633cdf8fa18b99ab42565d4f0a5bf9e | [log] [tgz] |
|---|---|---|
| author | Dave Borowitz <dborowitz@google.com> | Wed Nov 27 16:16:24 2013 -0500 |
| committer | Dave Borowitz <dborowitz@google.com> | Wed Nov 27 13:30:13 2013 -0800 |
| tree | ebce33157ef2d14a39aca4cc337d746acaa4a2a7 | |
| parent | 732698921a12fafee8f4300e7e404d555b9b2401 [diff] |
Use en_US collator for sorting repo names This should be configurable but considering we don't internationalize any other part of the UI, e.g. strings or dates, do the simplest thing possible for now. Note that this applies only to repository names, which need to be sorted manually as we can't trust the filesystem to do so. For other sorted lists, e.g. tree contents and refs, use the ordering provided by JGit. Change-Id: I55dbb9f1ed3b5a20f56f6ea2535ac865c4256196