Jakub Matys 3a37e0f8da Remove git tag from gitcommit field		2018-10-01 16:34:25 +02:00
..
Dockerfile	Pin specific rocksdb version (rocksdb-5.14.3) in build	2018-08-23 13:42:43 +02:00
Makefile	Remove git tag from gitcommit field	2018-10-01 16:34:25 +02:00