2 Commits

Author	SHA1	Message	Date
Pedro Gonçalves	515404302a	docker/Makefile: add clean and delete_img options.	2018-08-31 18:08:00 +01:00
Ricardo Martins	4ff07d69e0	docker: added script to create docker container suitable to build GLUED.	2016-06-03 14:23:22 +01:00