Google Git
Sign in
gerrit/gerrit/991f97194c4da2697d5115b24960816504b069f5
commit
991f97194c4da2697d5115b24960816504b069f5
[log]
author
Yuxuan 'fishy' Wang <fishywang@google.com>
Wed May 06 10:29:14 2015 -0700
committer
Yuxuan 'fishy' Wang <fishywang@google.com>
Wed May 06 11:25:51 2015 -0700
tree
91f435f66fb15816b3dcac95e6a8517404d93c9c
parent
16baf21fa16708c392c67d6fdd16e5ddcc4bb696 [diff]
Ignore /Documentation/*.html

Sometimes it's useful to run asciidoctor command line to do some quick
tests, and that will generate html files under Documentation directory.

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