K 10
svn:author
V 3
jmg
K 8
svn:date
V 27
1998-06-30T08:40:33.000000Z
K 7
svn:log
V 128
remove option LINUX as it did nothing, add DEBUG_LINUX to debug the
linux emulation...

(actually moved LINUX to opt_dontuse.h)

END