K 10 svn:author V 7 wollman K 8 svn:date V 27 1994-08-13T17:45:09.000000Z K 7 svn:log V 65 Fix conditional-compilation mixup, pointed out by Paul Richards. END