markuskowa 2f34b4b883

Merge pull request #108983 from markuskowa/dev-mpi ...

Use mpi attribute consistently to provide a default MPI implementation

2021-01-23 22:51:09 +01:00

..

manual

Merge pull request #108983 from markuskowa/dev-mpi

2021-01-23 22:51:09 +01:00

varlistentry-fixer.rb

nixos/doc/*: fix indentation

2020-11-12 14:24:00 +10:00

xmlformat.conf

…