Module Name: file Committed By: christos Date: Sun Mar 3 02:32:40 UTC 2019 Modified Files: file/doc: file.man Log Message: remove duplicate line (chefe) To generate a diff of this commit: cvs rdiff -r1.134 -r1.135 file/doc/file.man Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.