Module Name:	basesrc
Committed By:	tv
Date:		Sat Nov 18 05:24:55 UTC 2000

Removed Files:
	basesrc/distrib/sets/lists/cryptint: mi obsolete.mi shl.elf shl.mi

Log Message:
cryptint is dead; GC.


To generate a diff of this commit:
cvs rdiff -r1.10 -r0 basesrc/distrib/sets/lists/cryptint/mi
cvs rdiff -r1.1 -r0 basesrc/distrib/sets/lists/cryptint/obsolete.mi
cvs rdiff -r1.4 -r0 basesrc/distrib/sets/lists/cryptint/shl.elf
cvs rdiff -r1.5 -r0 basesrc/distrib/sets/lists/cryptint/shl.mi

Please note that diffs are not public domain; they are subject to the
copyright notices on the relevant files.