3 Commits

Include renames

Author	SHA1	Message	Date
gsell	c782b5bfbc	openmpi: double entry removed in variants	2018-07-12 16:45:05 +02:00
gsell	f62924c8f3	openmpi/3.0.0 with gcc/7.3.0 released as stable	2018-07-11 10:48:35 +02:00
gsell	706d0e947a	directory 'openmpi/3.0' renamed to 'openmpi/3'; gnuplot variants moved to 'files' directory	2018-07-11 10:26:28 +02:00