Jun Kuriyama b37a9be231 Use "options " rather than "options<tab>".		2002-09-09 02:40:59 +00:00
..
GENERIC	Use "options " rather than "options<tab>".	2002-09-09 02:40:59 +00:00
GENERIC.hints
SKI	Use "options " rather than "options<tab>".	2002-09-09 02:40:59 +00:00