K 10 svn:author V 3 bde K 8 svn:date V 27 1997-02-28T09:10:26.000000Z K 7 svn:log V 218 YAMFC (everything except INCLUDE_CONFIG_FILE, CHILD_MAX, OPEN_MAX and ARP_PROXYALL. This merge is mainly to start nuking EXTRAVNODES. It also removes some non-optional MSG* and SEM* "options" and sorts the options). END