Joerg Wunsch f9dc19265e Mention the historic mount options, as `deprecated'. ... Closes PR # docs/735.		1996-10-22 21:56:58 +00:00
..
Makefile	…
mount_nfs.8	…
mount_nfs.c	…