Skip to content
Snippets Groups Projects
Commit 5040fbef authored by Tobias Leibner's avatar Tobias Leibner
Browse files

[docker] remove old dune-xt-modules from modules_to_delete

parent 1d30021c
No related branches found
No related tags found
No related merge requests found
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 = ''
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 = ''
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment