Module Name: src
Committed By: christos
Date: Mon Aug 13 08:26:49 UTC 2018
Modified Files:
src/distrib/sets/lists/comp: mi shl.mi
Log Message:
- although I like the ",obsolete" better, the convention is to obliterate
the info
- fix lint
To generate a diff of this commit:
cvs rdiff -u -r1.2217 -r1.2218 src/distrib/sets/lists/comp/mi
cvs rdiff -u -r1.320 -r1.321 src/distrib/sets/lists/comp/shl.mi
Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.
