------------------------------------------------------------------------
r125 | mrpr | 2005-08-16 10:59:45 +0200 (Tue, 16 Aug 2005) | 4 lines

Added a 'web permission' option, so that people who don't want their
name linked to statistics on the web can opt out.


------------------------------------------------------------------------
U       /cmd/live/state.c
U       /doc/help/general/options
U       /std/player/savevars_sec.c
U       /sys/options.h
