diff --git a/dune.module b/dune.module index 2fc9d76b9f4ea1b6c115d6122ab8ba6585f8e6fe..b1c8deb6e19e75ee12efb37d97d75a6698e6fbff 100644 --- a/dune.module +++ b/dune.module @@ -7,4 +7,4 @@ Module: dune-perftool Version: 0.0 Maintainer: dominic.kempf@iwr.uni-heidelberg.de #depending on -Depends: dune-python +Depends: dune-python dune-pdelab