../ KOI.alias,v 02-Aug-2025 01:59 6699 KOI.part,v 02-Aug-2025 01:59 6657 KOI.src,v 02-Aug-2025 01:59 6997 KOI7-switched.src,v 02-Aug-2025 01:59 7433 KOI7.src,v 02-Aug-2025 01:59 6695 Makefile.inc,v 02-Aug-2025 01:59 7164