Module Name: file Committed By: christos Date: Sun Jan 3 20:51:48 UTC 2021 Modified Files: file/doc: file.man Log Message: PR/217: Helge Kreutzmann: misc fixes To generate a diff of this commit: cvs rdiff -r1.141 -r1.142 file/doc/file.man Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.