K 10 svn:author V 6 eivind K 8 svn:date V 27 2003-09-18T16:18:45.000000Z K 7 svn:log V 122 - Reorder to group the non-obsolete options together - Change from "will be deprecated in 5.1" to "was deprecated in 5.1" END