HomeFreeBSD

mips: remove forgotten options file too

Description

mips: remove forgotten options file too

Sponsored by: Netflix

Details

Provenance
impAuthored on Dec 31 2021, 10:08 PM
Parents
rGbf8984881129: netfpga10: mips only, remove
Branches
Unknown
Tags
Unknown