K 10 svn:author V 6 mjacob K 8 svn:date V 27 2006-04-25T17:54:42.000000Z K 7 svn:log V 114 If one removes the option from conf/options, one should remove the include of the derived file opt_bge.h as well. END