jubatus/jubadump — pull request #11 by unnonouno (2014-06-03 12:40:22+00:00)
Title: Support core

- Use `jubatus_core` instead of `jubatus`
- Format of `key_manager` is changed. It has two `unordered_map` and one integer.

fix #10