docker.env.ex
changeset 5 3e135449f797
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/docker.env.ex	Wed Apr 08 21:58:06 2015 +0200
@@ -0,0 +1,5 @@
+# this is a file to be included in the
+# generated Dockerfiles via
+# .include_if_exists
+#
+# ENV http_proxy http://172.17.42.1:3128/