|
|
e51f834484
|
openmpi 3.1.1 for gcc 8.2.0
|
2018-08-08 11:04:10 +02:00 |
|
|
|
c782b5bfbc
|
openmpi: double entry removed in variants
|
2018-07-12 16:45:05 +02:00 |
|
|
|
706d0e947a
|
directory 'openmpi/3.0' renamed to 'openmpi/3'; gnuplot variants moved to 'files' directory
|
2018-07-11 10:26:28 +02:00 |
|
