3 Commits

Author	SHA1	Message	Date
Pedro Gonçalves	abe517027c	docker/Makefile: fix bash style.	2020-07-31 12:45:09 +01:00
Pedro Gonçalves	193ec8a889	docker: update debian version to 9, add option clean and delete_img.	2020-07-24 22:04:26 +01:00
Ricardo Martins	4ff07d69e0	docker: added script to create docker container suitable to build GLUED.	2016-06-03 14:23:22 +01:00