Re: [amsat-bb] SatPC32 auxiliary files