K 10
svn:author
V 5
joerg
K 8
svn:date
V 27
1996-10-22T21:56:58.000000Z
K 7
svn:log
V 76
Mention the historic mount options, as `deprecated'.

Closes PR # docs/735.

END