3 commits

Author	SHA1	Message	Date
Brendan Abolivier	e1ec98e248	Update Docker files and remove references to gb (#703) ... Fix Docker files which had been forgotten in #594 and update scripts and docs to remove references to gb. I also removed the `jenkins` directory which is outdated. We can revert f8d7e99 if we realise that it was a mistake to do so.	2019-05-22 10:44:25 +01:00
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