Google Git
Sign in
gerrit/gerrit/d7f92d94bbcfc19c05d53f5eb9ca994894318074
commit
d7f92d94bbcfc19c05d53f5eb9ca994894318074
[log] [tgz]
author
Michael Zhou <moz@google.com>
Tue Aug 20 18:30:37 2013 -0700
committer
Michael Zhou <moz@google.com>
Tue Aug 20 20:37:19 2013 -0700
tree
1458da62a0421a01405b596b8b7a52c248f63002
parent
54c8d27a15d635a519d062f9a518f95b6106d222 [diff]
Style tabs with "»"

Style tabs with "»" based on user preference.

Change-Id: I7381173ec1b50de784d72b000b253a07540b484a
3 files changed
tree: 1458da62a0421a01405b596b8b7a52c248f63002
  1. .settings/
  2. contrib/
  3. Documentation/
  4. gerrit-acceptance-tests/
  5. gerrit-antlr/
  6. gerrit-cache-h2/
  7. gerrit-common/
  8. gerrit-extension-api/
  9. gerrit-gwtdebug/
  10. gerrit-gwtexpui/
  11. gerrit-gwtui/
  12. gerrit-httpd/
  13. gerrit-launcher/
  14. gerrit-lucene/
  15. gerrit-main/
  16. gerrit-openid/
  17. gerrit-patch-commonsnet/
  18. gerrit-patch-jgit/
  19. gerrit-pgm/
  20. gerrit-plugin-api/
  21. gerrit-plugin-archetype/
  22. gerrit-plugin-gwt-archetype/
  23. gerrit-plugin-gwtui/
  24. gerrit-plugin-js-archetype/
  25. gerrit-prettify/
  26. gerrit-reviewdb/
  27. gerrit-server/
  28. gerrit-solr/
  29. gerrit-sshd/
  30. gerrit-util-cli/
  31. gerrit-util-ssl/
  32. gerrit-war/
  33. lib/
  34. plugins/
  35. ReleaseNotes/
  36. tools/
  37. website/
  38. .buckconfig
  39. .buckversion
  40. .gitignore
  41. .gitmodules
  42. .pydevproject
  43. BUCK
  44. COPYING
  45. INSTALL
  46. SUBMITTING_PATCHES
  47. VERSION