Skip to content
GitLab
Commit a00a64dc authored by Kenneth Hoste's avatar Kenneth Hoste
Browse files

Merge pull request #1207 from rjeschmi/openmpi-bug-line-repeate 

Somehow a line got repeated in openmpi-1.8.1
parents 3d8868df be795472
Hide whitespace changes
Inline Side-by-side
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment