Module Name: src Committed By: ryo Date: Fri Oct 16 15:40:40 UTC 2020
Modified Files: src/distrib/sets/lists/man: mi Log Message: in my previous commit, entries before the move must be obsolete rather than removed pointed out by nonaka@, thanks To generate a diff of this commit: cvs rdiff -u -r1.1705 -r1.1706 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.