Module Name: src Committed By: rillig Date: Tue Sep 8 19:06:49 UTC 2020
Modified Files: src/distrib/sets/lists/man: mi Log Message: lists/man/mi: remove extraneous space To generate a diff of this commit: cvs rdiff -u -r1.1701 -r1.1702 src/distrib/sets/lists/man/mi Please note that diffs are not public domain; they are subject to the copyright notices on the relevant files.