wiz 71913384f4 remove some not-so-obsolete files from the obsolete lists (these are ... still built and installed into DESTDIR). Approved by perry.		2000-08-13 22:24:30 +00:00
..
mi	…
obsolete.mi	remove some not-so-obsolete files from the obsolete lists (these are	2000-08-13 22:24:30 +00:00
shl.elf	…
shl.mi	…