1
0
Fork 0
mirror of https://github.com/hermitcore/libhermit.git synced 2025-03-09 00:00:03 +01:00

remove old MPI directory

This commit is contained in:
Stefan Lankes 2016-01-17 10:30:31 +01:00
parent 717ec7a138
commit 9562323d07

@ -1 +0,0 @@
Subproject commit a4121ab15f4660041503b9f967afded35c2024ad