Commit Graph

2 Commits

Author SHA1 Message Date
zepinto
7542b861c3 Docker Makefile: added DNS option. 2019-01-15 18:26:25 +00:00
Ricardo Martins
4ff07d69e0 docker: added script to create docker container suitable to build GLUED. 2016-06-03 14:23:22 +01:00