Module Name:	basesrc
Committed By:	wiz
Date:		Wed Apr 25 22:37:02 UTC 2001

Modified Files:
	basesrc/distrib/sets/lists/comp: obsolete.mi

Log Message:
Remove /usr/include/dev/microcode, since it's empty now.


To generate a diff of this commit:
cvs rdiff -r1.45 -r1.46 basesrc/distrib/sets/lists/comp/obsolete.mi

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