metis 4 not needed

FESOM · May 1, 2020 · 66b0b74 · 66b0b74
1 parent 20f53b0
commit 66b0b74
Show file tree

Hide file tree

Showing 84 changed files with 0 additions and 48,975 deletions.
diff --git a/lib/metis-4.0/CHANGES b/lib/metis-4.0/CHANGES
diff --git a/lib/metis-4.0/Doc/manual.ps b/lib/metis-4.0/Doc/manual.ps
diff --git a/lib/metis-4.0/FILES b/lib/metis-4.0/FILES
diff --git a/lib/metis-4.0/Graphs/0README b/lib/metis-4.0/Graphs/0README