Markus Kowalewski a56afaa19e openmpi: delete all libtool .la files ... Clear all *.la from lib to reduce the number file in output. These libtool files are not needed.		2023-10-08 21:23:22 +02:00
..
default.nix	openmpi: delete all libtool .la files	2023-10-08 21:23:22 +02:00