wok diff autofs/stuff/etc/auto.master @ rev 21634

updated openmpi and openmpi-dev (1.5.3 -> 4.0.1)
author Hans-G?nter Theisgen
date Tue May 28 15:59:29 2019 +0100 (2019-05-28)
parents
children
line diff
     1.1 --- /dev/null	Thu Jan 01 00:00:00 1970 +0000
     1.2 +++ b/autofs/stuff/etc/auto.master	Tue May 28 15:59:29 2019 +0100
     1.3 @@ -0,0 +1,1 @@
     1.4 +/mnt/auto   /etc/auto.misc  --timeout=60