2 commits

Author	SHA1	Message	Date
Alex Chen	5d2d0484d1	Fix build conflict between docker environment and host - #596 (#598) ... Signed-off-by: Alex Chen <minecnly@gmail.com>	2019-03-04 14:47:29 +00:00
mujx	1bcb673e3c	Set up a development environment with docker (#387) ... Signed-off-by: Konstantinos Sideris <sideris.konstantin@gmail.com>	2018-01-02 18:26:37 +00:00