7db0846 Install header files in a private MPI directory

Authored and Committed by sagitter 6 years ago
1 file changed. 10 lines added. 7 lines removed.
    Install header files in a private MPI directory
    
        
file modified
+10 -7