From 5040fbefdd7eb41fc570730631eb18896445ab0d Mon Sep 17 00:00:00 2001
From: Tobias Leibner <tobias.leibner@googlemail.com>
Date: Tue, 24 Mar 2020 11:54:13 +0100
Subject: [PATCH] [docker] remove old dune-xt-modules from modules_to_delete

---
 docker/dune-xt-data.py | 3 ++-
 docker/dune-xt.py      | 3 ++-
 2 files changed, 4 insertions(+), 2 deletions(-)

diff --git a/docker/dune-xt-data.py b/docker/dune-xt-data.py
index 4ba0d54..ff4bb7f 100644
--- a/docker/dune-xt-data.py
+++ b/docker/dune-xt-data.py
@@ -1,4 +1,3 @@
-modules_to_delete = 'dune-xt-la dune-xt-grid dune-xt-functions'
 # ~~~
 # This file is part of the dune-xt project:
 #   https://github.com/dune-community/dune-xt
@@ -10,3 +9,5 @@ modules_to_delete = 'dune-xt-la dune-xt-grid dune-xt-functions'
 #   René Fritze    (2019)
 #   Tobias Leibner (2019 - 2020)
 # ~~~
+
+modules_to_delete = ''
diff --git a/docker/dune-xt.py b/docker/dune-xt.py
index 60f7f6c..ff4bb7f 100644
--- a/docker/dune-xt.py
+++ b/docker/dune-xt.py
@@ -1,4 +1,3 @@
-modules_to_delete = 'dune-xt-grid dune-xt-la dune-xt-functions'
 # ~~~
 # This file is part of the dune-xt project:
 #   https://github.com/dune-community/dune-xt
@@ -10,3 +9,5 @@ modules_to_delete = 'dune-xt-grid dune-xt-la dune-xt-functions'
 #   René Fritze    (2019)
 #   Tobias Leibner (2019 - 2020)
 # ~~~
+
+modules_to_delete = ''
-- 
GitLab