/* * Option-changing support. At present there is nothing here because * we have no frobbable options. */ #include "options.h" void options(void) { }