We don't need dune-disc anymore

[[Imported from SVN: r3020]]

We don't need dune-disc anymore
4c2e691c · graeser · graeser@PCPOOL.MI.FU-BERLIN.DE · 1027b147 · 4c2e691c
Commit 4c2e691c authored 15 years ago by graeser Committed by graeser@PCPOOL.MI.FU-BERLIN.DE 15 years ago
--- a/dune.module
+++ b/dune.module
@@ -7,4 +7,4 @@ Module: dune-solvers
 Version: 0.9
 Maintainer: sander@mi.fu-berlin.de
 #depending on 
-Depends: dune-common dune-grid dune-istl dune-disc
+Depends: dune-common dune-grid dune-istl