Merge branch 'stable-2.13' into stable-2.14

* stable-2.13:
  Add an example of filter in documentation
  Escape "<>" in documentation

Change-Id: I314d6b722c1378ed31ce87168527998e90e56e78
tree: 81eafe08a0625273ec51b86a20859117fb1b7aa3
  1. src/
  2. tools/
  3. .gitignore
  4. bazlets.bzl
  5. BUILD
  6. LICENSE
  7. pom.xml
  8. WORKSPACE