From 430fc8eb6235f6d73468187453a7376e5879a8bb Mon Sep 17 00:00:00 2001 From: Christophe Romain Date: Tue, 21 Mar 2017 18:59:12 +0100 Subject: Update docker files from latest Rafael's changes --- docker/lib/config.sh | 1 - 1 file changed, 1 deletion(-) delete mode 100644 docker/lib/config.sh (limited to 'docker/lib/config.sh') diff --git a/docker/lib/config.sh b/docker/lib/config.sh deleted file mode 100644 index 6b9cbbb12..000000000 --- a/docker/lib/config.sh +++ /dev/null @@ -1 +0,0 @@ -# Overridable file -- cgit v1.2.3