Rodrigo Arias Mallo 74639d3ece Update ib interface name in xeon02 ... It seems to be plugged in another PCI port		2023-04-27 18:29:32 +02:00
..
configuration.nix	Update ib interface name in xeon02	2023-04-27 18:29:32 +02:00