From 33f1986c240a760042168317bd33a3c3d8b16609 Mon Sep 17 00:00:00 2001 From: Stefan Lankes Date: Fri, 11 Mar 2016 21:19:00 +0100 Subject: [PATCH] Removed submodule libomp --- .gitmodules | 4 ---- 1 file changed, 4 deletions(-) diff --git a/.gitmodules b/.gitmodules index bbf8515c1..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/libomp"] - path = hermit/usr/libomp - url = git@github.com:RWTH-OS/libomp_oss.git - branch = hermit