From 717ec7a138a21a14970d4cdac86e80ddb8b1046c Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Sun, 17 Jan 2016 10:29:57 +0100 Subject: [PATCH] remove old MPI module --- .gitmodules | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.gitmodules b/.gitmodules index 31acfe6ef..40c12c1fd 100644 --- a/.gitmodules +++ b/.gitmodules @@ -22,7 +22,3 @@ path = hermit/lwip url = git@github.com:RWTH-OS/LwIP.git branch = hermit -[submodule "hermit/usr/mpich"] - path = hermit/usr/mpich - url = git@github.com:RWTH-OS/mpich.git - branch = hermit