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
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
76a81e51b3
Remove riot.im from the list of trusted ID servers in the default config ( #688 )
...
Signed-off-by: Aaron Raimist <aaron@raim.ist>
2019-01-31 10:06:11 +00:00
daf57b19b7
make docker work on current codebase ( #584 )
2018-11-06 18:14:39 +00:00
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
Brendan Abolivier
Alex Chen
Aaron Raimist
Matthew Hodgson
mujx