Merge "Check probability before adding to the user history dict."
tree: 2993b94c11d8df0d5759f75083b87d709fe245c8
  1. dictionaries/
  2. java/
  3. native/
  4. tests/
  5. tools/
  6. Android.mk
  7. CleanSpec.mk