From fecb770feb4e0040e8c37049706ed1abeb0f7660 Mon Sep 17 00:00:00 2001 From: Tobie Morgan Hitchcock Date: Mon, 4 Jul 2016 13:59:53 +0100 Subject: [PATCH] Ensure gui folder is available to docker --- .dockerignore | 1 + 1 file changed, 1 insertion(+) diff --git a/.dockerignore b/.dockerignore index 6e146128..9c2ae2db 100644 --- a/.dockerignore +++ b/.dockerignore @@ -1,2 +1,3 @@ * +!gui !surreal \ No newline at end of file