K 10 svn:author V 6 eivind K 8 svn:date V 27 1999-11-06T23:41:10.000000Z K 7 svn:log V 191 Options cleanup. * GC unused options * Move options that exist on all architectures to conf/options * Add missing options to LINT * Sort undocumented options list in LINT Reviewed by: green END