From f689ed244e3206566d8d6bfb17689f4839bf05fb Mon Sep 17 00:00:00 2001
From: Simon Christ <SimonChrist@gmx.de>
Date: Sun, 8 Dec 2019 13:14:29 +0100
Subject: [PATCH] Create travis_docker_env.list

---
 travis_docker_env.list | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 travis_docker_env.list

diff --git a/travis_docker_env.list b/travis_docker_env.list
new file mode 100644
index 00000000..97bd597b
--- /dev/null
+++ b/travis_docker_env.list
@@ -0,0 +1,9 @@
+# environment variables that are passed from Travis to Docker
+DOCUMENTER_KEY
+TRAVIS_BRANCH
+TRAVIS_PULL_REQUEST
+TRAVIS_REPO_SLUG
+TRAVIS_TAG
+TRAVIS_OS_NAME
+TRAVIS_JULIA_VERSION
+JULIA_PROJECT