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