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