4 Commits

Author	SHA1	Message	Date
jsteemann	db19b4fdf3	Merge branch 'devel' of https://github.com/arangodb/arangodb into devel	2017-05-11 19:01:49 +02:00
Simon Grätzer	c21bd1eeb8	Rocksb: index locking issue	2017-05-11 15:12:05 +02:00
jsteemann	17e9ea3d39	fix figures	2017-05-11 00:25:20 +02:00
jsteemann	910f5680b0	moved files	2017-05-02 12:34:28 +02:00