K 10 svn:author V 3 mbr K 8 svn:date V 27 2002-10-19T10:37:48.000000Z K 7 svn:log V 164 patch-set_soenv.1 is not used anymore. Configure does now substitute set_soenv.in directly. Most of our changes have been merged, so this patch is really tiny now. END