Bjoern Rabenstein 73f6dc4d44 Make KeyValueStore.Delete report if the key to delete was found. ... Previously, it would return an error instead. Now we can distinguish the cases 'error while deleting known key' vs. 'key not in index' without testing for leveldb-internal kinds of errors.		2015-01-29 12:57:50 +01:00
..
local	Make KeyValueStore.Delete report if the key to delete was found.	2015-01-29 12:57:50 +01:00
metric	More efficient JSON query result format.	2015-01-26 13:06:22 +01:00
remote	Clean up license issues.	2015-01-21 20:07:45 +01:00