Markus Kowalewski c26a79a556 release-notes: add note about openmpi-4.0.0 upgrade. ... Add link to openmpi upgrade guide, regarding deprecated MPI-1 symbols.		2019-02-21 15:08:32 +01:00
..
manual	release-notes: add note about openmpi-4.0.0 upgrade.	2019-02-21 15:08:32 +01:00
varlistentry-fixer.rb	doc: Adds xml fixing script. (see previous and next commits)	2018-05-31 21:02:15 -04:00
xmlformat.conf	doc: Adds rule to xmlformat to help keep spacing right.	2018-05-31 21:02:15 -04:00