diff --git a/hermit/usr/mpich b/hermit/usr/mpich deleted file mode 160000 index a4121ab15..000000000 --- a/hermit/usr/mpich +++ /dev/null @@ -1 +0,0 @@ -Subproject commit a4121ab15f4660041503b9f967afded35c2024ad