K 10
svn:author
V 6
rfalke
K 8
svn:date
V 27
2002-03-13T12:02:12.000000Z
K 7
svn:log
V 231
Split field p_value of client_option into p_int_value and
p_bool_value. Split GEN_OPTION into GEN_INT_OPTION and
GEN_BOOL_OPTION. Change type of field p_value of view_option from int
* to bool * since all view_options are boolean.

END