Merge "Add a plumbing option to dicttool info."
tree: 2c4e9080165c8e330ffc0b591fea00404c502eb5
  1. dictionaries/
  2. java/
  3. native/
  4. tests/
  5. tools/
  6. Android.mk
  7. CleanSpec.mk